Python _formula_str Examples

Example #1

def test_formula_string4():
    assert sat._formula_str(['a', ['b', 'c']]) == '(a & (b | c))'

Example #2

def test_formula_string5():
    assert sat._formula_str(['a', ['b', ['c', 'd']]]) == '(a & (b | (c & d)))'

Example #3

def test_formula_string2():
    assert sat._formula_str(['a', 'b']) == '(a & b)'

Example #4

def test_formula_string3():
    assert sat._formula_str(['a', ['b']]) == '(a & (b))'

Example #5

File: test_sat.py Project: PhiPhiper/pyperplan

def test_formula_string5():
    assert sat._formula_str(['a', ['b', ['c', 'd']]]) == '(a & (b | (c & d)))'

Example #6

def test_formula_string1():
    assert sat._formula_str(['a']) == '(a)'

Example #7

File: test_sat.py Project: PhiPhiper/pyperplan

def test_formula_string3():
    assert sat._formula_str(['a', ['b']]) == '(a & (b))'

Example #8

File: test_sat.py Project: PhiPhiper/pyperplan

def test_formula_string4():
    assert sat._formula_str(['a', ['b', 'c']]) == '(a & (b | c))'

Example #9

File: test_sat.py Project: PhiPhiper/pyperplan

def test_formula_string1():
    assert sat._formula_str(['a']) == '(a)'

Example #10

File: test_sat.py Project: PhiPhiper/pyperplan

def test_formula_string2():
    assert sat._formula_str(['a', 'b']) == '(a & b)'

Example #11

def test_formula_string5():
    assert sat._formula_str(["a", ["b", ["c", "d"]]]) == "(a & (b | (c & d)))"

Example #12

def test_formula_string4():
    assert sat._formula_str(["a", ["b", "c"]]) == "(a & (b | c))"

Example #13

def test_formula_string3():
    assert sat._formula_str(["a", ["b"]]) == "(a & (b))"

Example #14

def test_formula_string2():
    assert sat._formula_str(["a", "b"]) == "(a & b)"

Example #15

def test_formula_string1():
    assert sat._formula_str(["a"]) == "(a)"