Beispiel #1
0
 def test_between3(self):
   x = LogicVar('x')
   y = LogicVar('y')
   eq_(eval(begin(findall(between(1, 3, x), x, y), getvalue(y))), [1, 2, 3])
Beispiel #2
0
 def test_between2(self):
   x = LogicVar('x')
   eq_(eval(between(1, 3, x)), True)
Beispiel #3
0
 def test_between(self):
   eq_(eval(between(1, 3, 2)), True)
Beispiel #4
0
 def test_between3(self):
     x = LogicVar('x')
     y = LogicVar('y')
     eq_(eval(begin(findall(between(1, 3, x), x, y), getvalue(y))),
         [1, 2, 3])
Beispiel #5
0
 def test_between2(self):
     x = LogicVar('x')
     eq_(eval(between(1, 3, x)), True)
Beispiel #6
0
 def test_between(self):
     eq_(eval(between(1, 3, 2)), True)