Python Atom.evaluate Examples

Example #1

def test_atom():
    p = Atom("P")
    model = {"P": True}
    assert p.evaluate(model)

Example #2

def test_atom_negative():
    q = Atom("Q")
    model = {"Q": False}
    assert not q.evaluate(model)