Python index_fact Examples

Example #1

def test_index_fact2():
    assert sat.index_fact(fact1, index=3, negated=True) == "not-at-station-3"

Example #2

File: test_sat.py Project: PhiPhiper/pyperplan

def test_index_fact2():
    assert sat.index_fact(fact1, index=3, negated=True) == "not-at-station-3"

Example #3

def test_index_fact1():
    assert sat.index_fact(fact1, 3) == "at-station-3"

Example #4

File: test_sat.py Project: PhiPhiper/pyperplan

def test_index_fact1():
    assert sat.index_fact(fact1, 3) == "at-station-3"