tptp_parser::fof_annotated_grammar< It > Struct Template Reference

Inheritance diagram for tptp_parser::fof_annotated_grammar< It >:

Collaboration diagram for tptp_parser::fof_annotated_grammar< It >:

Public Attributes
fof_formula_grammar< It >	fof_formula
qi::rule< It, ascii::space_type >	fof_annotated

Detailed Description

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

Definition at line 907 of file TPTPParser.cpp.

Constructor & Destructor Documentation

fof_annotated_grammar()

template<typename It >

tptp_parser::fof_annotated_grammar< It >::fof_annotated_grammar ( )

inline

Definition at line 910 of file TPTPParser.cpp.

      : fof_annotated_grammar::base_type(fof_annotated) {
          fof_annotated =
              lit("fof")
              >> lit('(')
              >> name [print_fof_formula_name()]
              >> lit(',')
              >> formula_role [print_fof_formula_role()]
              >> lit(',')
              >> fof_formula [add_fof_formula()] 
              >> lit(')')
              >> lit('.');
      }

Member Data Documentation

fof_annotated

template<typename It >

qi::rule<It, ascii::space_type> tptp_parser::fof_annotated_grammar< It >::fof_annotated

Definition at line 926 of file TPTPParser.cpp.

fof_formula

template<typename It >

fof_formula_grammar<It> tptp_parser::fof_annotated_grammar< It >::fof_formula

Definition at line 923 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