Fawkes API Fawkes Development Version
|
A PDDL quantified formula. More...
#include <pddl_ast.h>
Public Attributes | |
Atom | quantifier |
The name of the quantifier ('exists' or 'forall') More... | |
string_pairs_type | args |
args that are bound by the quantifier More... | |
Expression | sub_expr |
Sub-expression that is quantified over. More... | |
A PDDL quantified formula.
Definition at line 88 of file pddl_ast.h.
string_pairs_type pddl_parser::QuantifiedFormula::args |
args that are bound by the quantifier
Definition at line 94 of file pddl_ast.h.
Referenced by pddl_parser::ActionSemantics::check_action_condition().
Atom pddl_parser::QuantifiedFormula::quantifier |
The name of the quantifier ('exists' or 'forall')
Definition at line 91 of file pddl_ast.h.
Expression pddl_parser::QuantifiedFormula::sub_expr |
Sub-expression that is quantified over.
Definition at line 97 of file pddl_ast.h.
Referenced by pddl_parser::ActionSemantics::check_action_condition().