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