Fawkes API
Fawkes Development Version
|
A Boost QI parser for a PDDL domain. More...
#include <pddl_grammar.h>
Public Attributes | |
qi::rule< Iterator, std::string(), Skipper > | name_type |
Named placeholder for parsing a name. More... | |
qi::rule< Iterator, std::string(), Skipper > | domain_name |
Named placeholder for parsing a domain name. More... | |
qi::rule< Iterator, std::vector< std::string >), Skipper > | requirements |
Named placeholder for parsing requirements. More... | |
qi::rule< Iterator, pairs_type(), Skipper > | types |
Named placeholder for parsing types. More... | |
qi::rule< Iterator, pair_type(), Skipper > | type_pair |
Named placeholder for parsing type pairs. More... | |
qi::rule< Iterator, type_list(), Skipper > | constant_value_list |
Named placeholder for parsing a list of constant values. More... | |
qi::rule< Iterator, type_list(), Skipper > | predicate_params |
Named placeholder for parsing a list of predicate parameters. More... | |
qi::rule< Iterator, pair_multi_const(), Skipper > | constant_multi_pair |
Named placeholder for parsing a list of typed constants. More... | |
qi::rule< Iterator, pairs_multi_consts(), Skipper > | constants |
Named placeholder for parsing a list of constants. More... | |
qi::rule< Iterator, string_pair_type(), Skipper > | param_pair |
Named placeholder for parsing a parameter pair. More... | |
qi::rule< Iterator, string_pairs_type(), Skipper > | param_pairs |
Named placeholder for parsing a list of parameter pairs. More... | |
qi::rule< Iterator, predicate_type(), Skipper > | pred |
Named placeholder for parsing a predicate type. More... | |
qi::rule< Iterator, std::vector< predicate_type >), Skipper > | predicates |
Named placeholder for parsing a list of predicate types. More... | |
qi::rule< Iterator, Atom()> | atom |
Named placeholder for parsing an atom. More... | |
qi::rule< Iterator, Predicate(), Skipper > | predicate |
Named placeholder for parsing a predicate. More... | |
qi::rule< Iterator, Expression(), Skipper > | expression |
Named placeholder for parsing a PDDL expression. More... | |
qi::rule< Iterator, Expression(), Skipper > | preconditions |
Named placeholder for parsing a PDDL precondition. More... | |
qi::rule< Iterator, Expression(), Skipper > | effects |
Named placeholder for parsing a PDDL effect. More... | |
qi::rule< Iterator, Expression(), Skipper > | temp_breakup |
Named placeholder for parsing a temporal breakup. More... | |
qi::rule< Iterator, Expression(), Skipper > | cond_breakup |
Named placeholder for parsing a conditional breakup. More... | |
qi::rule< Iterator, int(), Skipper > | duration |
Named placeholder for parsing an action duration. More... | |
qi::rule< Iterator, string_pairs_type(), Skipper > | action_params |
Named placeholder for parsing action parameters. More... | |
qi::rule< Iterator, Action(), Skipper > | action |
Named placeholder for parsing an action. More... | |
qi::rule< Iterator, std::vector< Action >), Skipper > | actions |
Named placeholder for parsing a list of actions. More... | |
qi::rule< Iterator, Domain(), Skipper > | domain |
Named placeholder for parsing a domain. More... | |
A Boost QI parser for a PDDL domain.
Definition at line 49 of file pddl_grammar.h.
qi::rule<Iterator, Action(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::action |
Named placeholder for parsing an action.
Definition at line 145 of file pddl_grammar.h.
qi::rule<Iterator, string_pairs_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::action_params |
Named placeholder for parsing action parameters.
Definition at line 143 of file pddl_grammar.h.
qi::rule<Iterator, std::vector<Action>), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::actions |
Named placeholder for parsing a list of actions.
Definition at line 147 of file pddl_grammar.h.
qi::rule<Iterator, Atom()> pddl_parser::grammar::domain_parser< Iterator, Skipper >::atom |
Named placeholder for parsing an atom.
Definition at line 127 of file pddl_grammar.h.
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::cond_breakup |
Named placeholder for parsing a conditional breakup.
Definition at line 139 of file pddl_grammar.h.
qi::rule<Iterator, pair_multi_const(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::constant_multi_pair |
Named placeholder for parsing a list of typed constants.
Definition at line 113 of file pddl_grammar.h.
qi::rule<Iterator, type_list(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::constant_value_list |
Named placeholder for parsing a list of constant values.
Definition at line 109 of file pddl_grammar.h.
qi::rule<Iterator, pairs_multi_consts(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::constants |
Named placeholder for parsing a list of constants.
Definition at line 115 of file pddl_grammar.h.
qi::rule<Iterator, Domain(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::domain |
Named placeholder for parsing a domain.
Definition at line 150 of file pddl_grammar.h.
qi::rule<Iterator, std::string(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::domain_name |
Named placeholder for parsing a domain name.
Definition at line 98 of file pddl_grammar.h.
qi::rule<Iterator, int(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::duration |
Named placeholder for parsing an action duration.
Definition at line 141 of file pddl_grammar.h.
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::effects |
Named placeholder for parsing a PDDL effect.
Definition at line 135 of file pddl_grammar.h.
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::expression |
Named placeholder for parsing a PDDL expression.
Definition at line 131 of file pddl_grammar.h.
qi::rule<Iterator, std::string(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::name_type |
Named placeholder for parsing a name.
Definition at line 95 of file pddl_grammar.h.
qi::rule<Iterator, string_pair_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::param_pair |
Named placeholder for parsing a parameter pair.
Definition at line 118 of file pddl_grammar.h.
qi::rule<Iterator, string_pairs_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::param_pairs |
Named placeholder for parsing a list of parameter pairs.
Definition at line 120 of file pddl_grammar.h.
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::preconditions |
Named placeholder for parsing a PDDL precondition.
Definition at line 133 of file pddl_grammar.h.
qi::rule<Iterator, predicate_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::pred |
Named placeholder for parsing a predicate type.
Definition at line 122 of file pddl_grammar.h.
qi::rule<Iterator, Predicate(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::predicate |
Named placeholder for parsing a predicate.
Definition at line 129 of file pddl_grammar.h.
qi::rule<Iterator, type_list(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::predicate_params |
Named placeholder for parsing a list of predicate parameters.
Definition at line 111 of file pddl_grammar.h.
qi::rule<Iterator, std::vector<predicate_type>), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::predicates |
Named placeholder for parsing a list of predicate types.
Definition at line 124 of file pddl_grammar.h.
qi::rule<Iterator, std::vector<std::string>), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::requirements |
Named placeholder for parsing requirements.
Definition at line 101 of file pddl_grammar.h.
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::temp_breakup |
Named placeholder for parsing a temporal breakup.
Definition at line 137 of file pddl_grammar.h.
qi::rule<Iterator, pair_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::type_pair |
Named placeholder for parsing type pairs.
Definition at line 106 of file pddl_grammar.h.
qi::rule<Iterator, pairs_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::types |
Named placeholder for parsing types.
Definition at line 104 of file pddl_grammar.h.