Fawkes API  Fawkes Development Version
pddl_parser::grammar::domain_parser< Iterator, Skipper > Class Template Reference

#include <pddl_grammar.h>

Inheritance diagram for pddl_parser::grammar::domain_parser< Iterator, Skipper >:

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...
 

Detailed Description

template<typename Iterator, typename Skipper = pddl_skipper<Iterator>>
class pddl_parser::grammar::domain_parser< Iterator, Skipper >

A Boost QI parser for a PDDL domain.

Definition at line 61 of file pddl_grammar.h.

Member Data Documentation

◆ action

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Action(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::action

Named placeholder for parsing an action.

Definition at line 157 of file pddl_grammar.h.

◆ action_params

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 155 of file pddl_grammar.h.

◆ actions

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 159 of file pddl_grammar.h.

◆ atom

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Atom()> pddl_parser::grammar::domain_parser< Iterator, Skipper >::atom

Named placeholder for parsing an atom.

Definition at line 139 of file pddl_grammar.h.

◆ cond_breakup

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::cond_breakup

Named placeholder for parsing a conditional breakup.

Definition at line 151 of file pddl_grammar.h.

◆ constant_multi_pair

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 125 of file pddl_grammar.h.

◆ constant_value_list

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 121 of file pddl_grammar.h.

◆ constants

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 127 of file pddl_grammar.h.

◆ domain

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Domain(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::domain

Named placeholder for parsing a domain.

Definition at line 162 of file pddl_grammar.h.

◆ domain_name

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 110 of file pddl_grammar.h.

◆ duration

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, int(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::duration

Named placeholder for parsing an action duration.

Definition at line 153 of file pddl_grammar.h.

◆ effects

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::effects

Named placeholder for parsing a PDDL effect.

Definition at line 147 of file pddl_grammar.h.

◆ expression

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::expression

Named placeholder for parsing a PDDL expression.

Definition at line 143 of file pddl_grammar.h.

◆ name_type

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, std::string(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::name_type

Named placeholder for parsing a name.

Definition at line 107 of file pddl_grammar.h.

◆ param_pair

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 130 of file pddl_grammar.h.

◆ param_pairs

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 132 of file pddl_grammar.h.

◆ preconditions

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::preconditions

Named placeholder for parsing a PDDL precondition.

Definition at line 145 of file pddl_grammar.h.

◆ pred

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, predicate_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::pred

Named placeholder for parsing a predicate type.

Definition at line 134 of file pddl_grammar.h.

◆ predicate

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Predicate(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::predicate

Named placeholder for parsing a predicate.

Definition at line 141 of file pddl_grammar.h.

◆ predicate_params

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 123 of file pddl_grammar.h.

◆ predicates

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
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 136 of file pddl_grammar.h.

◆ requirements

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, std::vector<std::string>), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::requirements

Named placeholder for parsing requirements.

Definition at line 113 of file pddl_grammar.h.

◆ temp_breakup

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Expression(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::temp_breakup

Named placeholder for parsing a temporal breakup.

Definition at line 149 of file pddl_grammar.h.

◆ type_pair

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, pair_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::type_pair

Named placeholder for parsing type pairs.

Definition at line 118 of file pddl_grammar.h.

◆ types

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, pairs_type(), Skipper> pddl_parser::grammar::domain_parser< Iterator, Skipper >::types

Named placeholder for parsing types.

Definition at line 116 of file pddl_grammar.h.


The documentation for this class was generated from the following file: