コード例 #1
0
def test_index_fact2():
    assert sat.index_fact(fact1, index=3, negated=True) == "not-at-station-3"
コード例 #2
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_index_fact2():
    assert sat.index_fact(fact1, index=3, negated=True) == "not-at-station-3"
コード例 #3
0
def test_index_fact1():
    assert sat.index_fact(fact1, 3) == "at-station-3"
コード例 #4
0
ファイル: test_sat.py プロジェクト: PhiPhiper/pyperplan 
def test_index_fact1():
    assert sat.index_fact(fact1, 3) == "at-station-3"