Ejemplo n.º 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])
Ejemplo n.º 2
0
 def test_between2(self):
   x = LogicVar('x')
   eq_(eval(between(1, 3, x)), True)
Ejemplo n.º 3
0
 def test_between(self):
   eq_(eval(between(1, 3, 2)), True)
Ejemplo n.º 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])
Ejemplo n.º 5
0
 def test_between2(self):
     x = LogicVar('x')
     eq_(eval(between(1, 3, x)), True)
Ejemplo n.º 6
0
 def test_between(self):
     eq_(eval(between(1, 3, 2)), True)