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

#include <pddl_grammar.h>

Inheritance diagram for pddl_parser::grammar::problem_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 > problem_name
 Named placeholder for parsing a problem name. More...
 
qi::rule< Iterator, std::string(), Skipper > domain_name
 Named placeholder for parsing a domain name. 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 > objects
 Named placeholder for parsing a list of domain objects. 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 > goal
 Named placeholder for parsing a PDDL goal. More...
 
qi::rule< Iterator, std::vector< Expression >), Skipper > init
 Named placeholder for parsing the initial state. More...
 
qi::rule< Iterator, Problem(), Skipper > problem
 Named placeholder for parsing a PDDL problem. More...
 

Detailed Description

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

A Boost QI parser for a PDDL problem.

Definition at line 167 of file pddl_grammar.h.

Member Data Documentation

◆ atom

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

Named placeholder for parsing an atom.

Definition at line 214 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::problem_parser< Iterator, Skipper >::constant_multi_pair

Named placeholder for parsing a list of typed constants.

Definition at line 209 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::problem_parser< Iterator, Skipper >::constant_value_list

Named placeholder for parsing a list of constant values.

Definition at line 205 of file pddl_grammar.h.

◆ domain_name

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

Named placeholder for parsing a domain name.

Definition at line 202 of file pddl_grammar.h.

◆ expression

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

Named placeholder for parsing a PDDL expression.

Definition at line 218 of file pddl_grammar.h.

◆ goal

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

Named placeholder for parsing a PDDL goal.

Definition at line 220 of file pddl_grammar.h.

◆ init

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, std::vector<Expression>), Skipper> pddl_parser::grammar::problem_parser< Iterator, Skipper >::init

Named placeholder for parsing the initial state.

Definition at line 222 of file pddl_grammar.h.

◆ name_type

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

Named placeholder for parsing a name.

Definition at line 197 of file pddl_grammar.h.

◆ objects

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, pairs_multi_consts(), Skipper> pddl_parser::grammar::problem_parser< Iterator, Skipper >::objects

Named placeholder for parsing a list of domain objects.

Definition at line 211 of file pddl_grammar.h.

◆ predicate

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

Named placeholder for parsing a predicate.

Definition at line 216 of file pddl_grammar.h.

◆ predicate_params

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, type_list(), Skipper> pddl_parser::grammar::problem_parser< Iterator, Skipper >::predicate_params

Named placeholder for parsing a list of predicate parameters.

Definition at line 207 of file pddl_grammar.h.

◆ problem

template<typename Iterator , typename Skipper = pddl_skipper<Iterator>>
qi::rule<Iterator, Problem(), Skipper> pddl_parser::grammar::problem_parser< Iterator, Skipper >::problem

Named placeholder for parsing a PDDL problem.

Definition at line 225 of file pddl_grammar.h.

◆ problem_name

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

Named placeholder for parsing a problem name.

Definition at line 200 of file pddl_grammar.h.


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