tptp_parser::cnf_formula_grammar< It > Struct Template Reference

Inheritance diagram for tptp_parser::cnf_formula_grammar< It >:

Collaboration diagram for tptp_parser::cnf_formula_grammar< It >:

Public Attributes
literal_grammar< It >	literal
qi::rule< It, vector< fof_atomic_formula_type >(), ascii::space_type >	disjunction
qi::rule< It, vector< fof_atomic_formula_type >(), ascii::space_type >	cnf_formula

Detailed Description

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

Definition at line 760 of file TPTPParser.cpp.

Constructor & Destructor Documentation

cnf_formula_grammar()

template<typename It >

tptp_parser::cnf_formula_grammar< It >::cnf_formula_grammar ( )

inline

Definition at line 763 of file TPTPParser.cpp.

      : cnf_formula_grammar::base_type(cnf_formula) {
          disjunction %=
              literal % vline;
          cnf_formula %=
              (disjunction
            | '(' >> disjunction >> ')');
      }

Member Data Documentation

cnf_formula

template<typename It >

qi::rule<It, vector<fof_atomic_formula_type>(), ascii::space_type> tptp_parser::cnf_formula_grammar< It >::cnf_formula

Definition at line 777 of file TPTPParser.cpp.

disjunction

template<typename It >

qi::rule<It, vector<fof_atomic_formula_type>(), ascii::space_type> tptp_parser::cnf_formula_grammar< It >::disjunction

Definition at line 775 of file TPTPParser.cpp.

literal

template<typename It >

literal_grammar<It> tptp_parser::cnf_formula_grammar< It >::literal

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