예제 #1
0
파일: testbuiltin.py 프로젝트: chaosim/dao 
 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
파일: testbuiltin.py 프로젝트: chaosim/dao 
 def test_between2(self):
   x = LogicVar('x')
   eq_(eval(between(1, 3, x)), True)
예제 #3
0
파일: testbuiltin.py 프로젝트: chaosim/dao 
 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)