Python Literal.value Examples

Example #1

File: literal_test.py Project: lnestor/sat_solver

def test_value_when_not_negated_sets_value():
    a = Bool("a")
    lit = Literal(a, negated = False)
    assert lit.value(False) == False

Example #2

File: literal_test.py Project: lnestor/sat_solver

def test_value_when_negated_sets_value_to_negation():
    a = Bool("a")
    lit = Literal(a, negated = True)
    assert lit.value(False) == True