tptp_parser::include_grammar< It > Struct Template Reference

Inheritance diagram for tptp_parser::include_grammar< It >:

Collaboration diagram for tptp_parser::include_grammar< It >:

Public Attributes
qi::rule< Iter, string(), ascii::space_type >	space_name
qi::rule< Iter, vector< string >(), ascii::space_type >	name_list
qi::rule< Iter, vector< string >(), ascii::space_type >	formula_selection
qi::rule< Iter, vector< string >(), ascii::space_type >	include_optionals
qi::rule< Iter, vector< string >(), ascii::space_type >	include

Detailed Description

template<typename It>
struct tptp_parser::include_grammar< It >

Definition at line 495 of file TPTPParser.cpp.

Constructor & Destructor Documentation

include_grammar()

template<typename It >

tptp_parser::include_grammar< It >::include_grammar ( )

inline

Definition at line 498 of file TPTPParser.cpp.

      : include_grammar::base_type(include) {
          space_name %= name;
          name_list %=
              name % ',';
          formula_selection %=
              ('[' >> name_list >> ']')
              | star;
          include_optionals %=
              (',' >> formula_selection)
              | (',' >> formula_selection >> ',' >> space_name)
              | null;
          include %=
              lit("include")
              >> '(' >> file_name >> include_optionals >> ')'
              >> '.';
      }

Member Data Documentation

formula_selection

template<typename It >

qi::rule<Iter, vector<string>(), ascii::space_type> tptp_parser::include_grammar< It >::formula_selection

Definition at line 517 of file TPTPParser.cpp.

include

template<typename It >

qi::rule<Iter, vector<string>(), ascii::space_type> tptp_parser::include_grammar< It >::include

Definition at line 519 of file TPTPParser.cpp.

include_optionals

template<typename It >

qi::rule<Iter, vector<string>(), ascii::space_type> tptp_parser::include_grammar< It >::include_optionals

Definition at line 518 of file TPTPParser.cpp.

name_list

template<typename It >

qi::rule<Iter, vector<string>(), ascii::space_type> tptp_parser::include_grammar< It >::name_list

Definition at line 516 of file TPTPParser.cpp.

space_name

template<typename It >

qi::rule<Iter, string(), ascii::space_type> tptp_parser::include_grammar< It >::space_name

Definition at line 515 of file TPTPParser.cpp.

---

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

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/TPTPParser.cpp