def test_requires(): a = Term("f", u("a")) b = Term("f", u("b")) assert_equal(And([a, b]).requires(), set([a, b])) assert_equal(Or([a, b]).requires(), set()) assert_equal(AndMaybe(a, b).requires(), set([a])) assert_equal(a.requires(), set([a]))
def test_requires(): a = Term("f", u("a")) b = Term("f", u("b")) assert And([a, b]).requires() == set([a, b]) assert Or([a, b]).requires() == set() assert AndMaybe(a, b).requires() == set([a]) assert a.requires() == set([a])
def test_requires(): a = Term("f", u("a")) b = Term("f", u("b")) assert_equal(And([a, b]).requires(), set([a, b])) assert_equal(Or([a, b]).requires(), set()) assert_equal(AndMaybe(a, b).requires(), set([a])) assert_equal(a.requires(), set([a]))
def test_requires(): a = Term("f", u("a")) b = Term("f", u("b")) assert And([a, b]).requires() == set([a, b]) assert Or([a, b]).requires() == set() assert AndMaybe(a, b).requires() == set([a]) assert a.requires() == set([a])