Esempio n. 1
0
def test_atom():
    p = Atom("P")
    model = {"P": True}
    assert p.evaluate(model)
Esempio n. 2
0
def test_atom_negative():
    q = Atom("Q")
    model = {"Q": False}
    assert not q.evaluate(model)