tptp_parser::fof_infix_unary_grammar< It > Struct Template Reference

Inheritance diagram for tptp_parser::fof_infix_unary_grammar< It >:

Collaboration diagram for tptp_parser::fof_infix_unary_grammar< It >:

Public Attributes
fof_term_grammar< It >	fof_term
qi::rule< It, infix_struct(), ascii::space_type >	fof_infix_unary

Detailed Description

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

Definition at line 628 of file TPTPParser.cpp.

Constructor & Destructor Documentation

fof_infix_unary_grammar()

template<typename It >

tptp_parser::fof_infix_unary_grammar< It >::fof_infix_unary_grammar ( )

inline

Definition at line 631 of file TPTPParser.cpp.

      : fof_infix_unary_grammar::base_type(fof_infix_unary) {
 
        fof_infix_unary %=
          fof_term >> infix_inequality >> fof_term
          // Desperate measures! Should apparently not be needed 
          // but there are very rare occasions when you want to 
          // parse something like a(b) = c(d) and it is! See 
          // TPTP SET007+6.ax, t1_zfmisc_1.
          | fof_term >> defined_infix_pred >> fof_term; 
      }

Member Data Documentation

fof_infix_unary

template<typename It >

qi::rule<It, infix_struct(), ascii::space_type> tptp_parser::fof_infix_unary_grammar< It >::fof_infix_unary

Definition at line 646 of file TPTPParser.cpp.

fof_term

template<typename It >

fof_term_grammar<It> tptp_parser::fof_infix_unary_grammar< It >::fof_term

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