tptp_parser::cnf_annotated_grammar< It > Struct Template Reference

Inheritance diagram for tptp_parser::cnf_annotated_grammar< It >:

Collaboration diagram for tptp_parser::cnf_annotated_grammar< It >:

Public Attributes
cnf_formula_grammar< It >	cnf_formula
qi::rule< It, ascii::space_type >	cnf_annotated

Detailed Description

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

Definition at line 887 of file TPTPParser.cpp.

Constructor & Destructor Documentation

cnf_annotated_grammar()

template<typename It >

tptp_parser::cnf_annotated_grammar< It >::cnf_annotated_grammar ( )

inline

Definition at line 890 of file TPTPParser.cpp.

      : cnf_annotated_grammar::base_type(cnf_annotated) {
          cnf_annotated =
              lit("cnf")
              >> lit('(')
              >> name [print_cnf_formula_name()]
              >> lit(',')
              >> formula_role [print_cnf_formula_role()]
              >> lit(',')
              >> cnf_formula [add_current_clause()]
              >> lit(')')
              >> lit('.');
      }

Member Data Documentation

cnf_annotated

template<typename It >

qi::rule<It, ascii::space_type> tptp_parser::cnf_annotated_grammar< It >::cnf_annotated

Definition at line 906 of file TPTPParser.cpp.

cnf_formula

template<typename It >

cnf_formula_grammar<It> tptp_parser::cnf_annotated_grammar< It >::cnf_formula

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