Ejemplos de get_formula_for_operator en Python

Ejemplo n.º 1

def test_operator_formula2():
    assert sat.get_formula_for_operator(['a', 'd'], op3,
                                        3) == ['d-3', 'a-4', 'd-4<->d-3']

Ejemplo n.º 2

def test_operator_formula1():
    assert sat.get_formula_for_operator(['a'], op1, 3) == ['a-4']

Ejemplo n.º 3

Archivo: test_sat.py Proyecto: PhiPhiper/pyperplan

def test_operator_formula2():
    assert sat.get_formula_for_operator(['a', 'd'], op3, 3) == ['d-3', 'a-4',
                                                                'd-4<->d-3']

Ejemplo n.º 4

Archivo: test_sat.py Proyecto: PhiPhiper/pyperplan

def test_operator_formula1():
    assert sat.get_formula_for_operator(['a'], op1, 3) == ['a-4']

Ejemplo n.º 5

def test_operator_formula2():
    assert sat.get_formula_for_operator(["a", "d"], op3, 3) == [
        "d-3",
        "a-4",
        "d-4<->d-3",
    ]

Ejemplo n.º 6

def test_operator_formula1():
    assert sat.get_formula_for_operator(["a"], op1, 3) == ["a-4"]