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