コード例 #1
0
def test_formula_string4():
    assert sat._formula_str(['a', ['b', 'c']]) == '(a & (b | c))'
コード例 #2
0
def test_formula_string5():
    assert sat._formula_str(['a', ['b', ['c', 'd']]]) == '(a & (b | (c & d)))'
コード例 #3
0
def test_formula_string2():
    assert sat._formula_str(['a', 'b']) == '(a & b)'
コード例 #4
0
def test_formula_string3():
    assert sat._formula_str(['a', ['b']]) == '(a & (b))'
コード例 #5
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_formula_string5():
    assert sat._formula_str(['a', ['b', ['c', 'd']]]) == '(a & (b | (c & d)))'
コード例 #6
0
def test_formula_string1():
    assert sat._formula_str(['a']) == '(a)'
コード例 #7
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_formula_string3():
    assert sat._formula_str(['a', ['b']]) == '(a & (b))'
コード例 #8
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_formula_string4():
    assert sat._formula_str(['a', ['b', 'c']]) == '(a & (b | c))'
コード例 #9
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_formula_string1():
    assert sat._formula_str(['a']) == '(a)'
コード例 #10
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_formula_string2():
    assert sat._formula_str(['a', 'b']) == '(a & b)'
コード例 #11
0
def test_formula_string5():
    assert sat._formula_str(["a", ["b", ["c", "d"]]]) == "(a & (b | (c & d)))"
コード例 #12
0
def test_formula_string4():
    assert sat._formula_str(["a", ["b", "c"]]) == "(a & (b | c))"
コード例 #13
0
def test_formula_string3():
    assert sat._formula_str(["a", ["b"]]) == "(a & (b))"
コード例 #14
0
def test_formula_string2():
    assert sat._formula_str(["a", "b"]) == "(a & b)"
コード例 #15
0
def test_formula_string1():
    assert sat._formula_str(["a"]) == "(a)"