Esempi in Python per FHead

Esempio n. 1

File: testing_pddl_functions.py Progetto: gong7788/UG4_project

def test_fexpressions2():
    f_exp = pddl.FExpression('=', [
        pddl.FHead('blue-count', pddl_functions.make_variable_list(['t0'])),
        pddl.ConstantNumber(1)
    ])

    cc = pddl_functions.ColourCount.from_fexpression(f_exp)

    assert (f_exp.asPDDL() == cc.asPDDL())

Esempio n. 2

File: testing_pddl_functions.py Progetto: gong7788/UG4_project

def test_fexpressions3():
    f_exp = pddl.FExpression('=', [
        pddl.FHead('blue-count', pddl_functions.make_variable_list(['t0'])),
        pddl.ConstantNumber(2)
    ])

    cc = pddl_functions.ColourCount('blue', 't0', 1)
    cc.number = 2

    assert (f_exp.asPDDL() == cc.asPDDL())