Fawkes API Fawkes Development Version
|
A PDDL formula (either part of a precondition or an effect(. More...
#include <pddl_ast.h>
Public Attributes | |
Atom | function |
The name of the predicate for atomic formulae, 'and' for a conjunction, 'or' for a disjunction, 'not' for a negation. More... | |
std::vector< Expression > | arguments |
The arguments of the predicate or the subformulae of the compound formula. More... | |
A PDDL formula (either part of a precondition or an effect(.
Note that this is NOT necesarily a PDDL predicate, but may also be a compound formula. For a conjunction, the function would be 'and', and the arguments would be the subformulae.
Definition at line 106 of file pddl_ast.h.
std::vector<Expression> pddl_parser::Predicate::arguments |
The arguments of the predicate or the subformulae of the compound formula.
Definition at line 115 of file pddl_ast.h.
Referenced by pddl_parser::ActionSemantics::check_action_predicate(), EffectToCLIPSFactVisitor::operator()(), and PreconditionToCLIPSFactVisitor::operator()().
Atom pddl_parser::Predicate::function |
The name of the predicate for atomic formulae, 'and' for a conjunction, 'or' for a disjunction, 'not' for a negation.
Definition at line 111 of file pddl_ast.h.
Referenced by pddl_parser::ActionSemantics::check_action_predicate(), EffectToCLIPSFactVisitor::operator()(), and PreconditionToCLIPSFactVisitor::operator()().