tptp_parser::fof_term_grammar< It > Struct Template Reference

Inheritance diagram for tptp_parser::fof_term_grammar< It >:

Collaboration diagram for tptp_parser::fof_term_grammar< It >:

Public Attributes
qi::rule< It, fof_arguments_struct(), ascii::space_type >	fof_term
qi::rule< It, fof_plain_term_struct(), ascii::space_type >	fof_function_term
qi::rule< It, fof_plain_term_struct(), ascii::space_type >	fof_plain_term
qi::rule< It, fof_plain_term_struct(), ascii::space_type >	fof_defined_term
qi::rule< It, fof_plain_term_struct(), ascii::space_type >	fof_defined_atomic_term
qi::rule< It, fof_plain_term_struct(), ascii::space_type >	fof_defined_plain_term
qi::rule< It, fof_plain_term_struct(), ascii::space_type >	fof_system_term
qi::rule< It, vector< fof_arguments_struct >(), ascii::space_type >	fof_arguments

Detailed Description

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

Definition at line 541 of file TPTPParser.cpp.

Constructor & Destructor Documentation

fof_term_grammar()

template<typename It >

tptp_parser::fof_term_grammar< It >::fof_term_grammar ( )

inline

Definition at line 544 of file TPTPParser.cpp.

      : fof_term_grammar::base_type(fof_term) {
 
        fof_term %=
          fof_function_term
          | variable;
 
        fof_function_term %=
          fof_plain_term
          | fof_defined_term
          | fof_system_term;
 
        fof_plain_term %=
          // Both in fact atomic_word.
          (constant | functor)
          >> -('(' >> fof_arguments >> ')');
 
        fof_defined_term %=
          (defined_term [DefinedAdder()] >> attr(vector<fof_arguments_struct>()))
          | fof_defined_atomic_term;
 
        fof_defined_atomic_term %= fof_defined_plain_term;
 
        fof_defined_plain_term %=
          // defined_constant = defined_functor.
          (defined_constant | defined_functor) [DefinedAdder()]
          >> -('(' >> fof_arguments >> ')');
 
        // This also gets defined elsewhere and all definitions should
        // match.
        fof_system_term %=
          // Both in fact dollar_dollar_word.
          (system_constant | system_functor) [SystemAdder()]
          >> -('(' >> fof_arguments >> ')');
 
        // This also gets defined elsewhere and all definitions should
        // match.
        fof_arguments %= fof_term % ',';
      }

Member Data Documentation

fof_arguments

template<typename It >

qi::rule<It, vector<fof_arguments_struct>(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_arguments

Definition at line 603 of file TPTPParser.cpp.

fof_defined_atomic_term

template<typename It >

qi::rule<It, fof_plain_term_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_defined_atomic_term

Definition at line 595 of file TPTPParser.cpp.

fof_defined_plain_term

template<typename It >

qi::rule<It, fof_plain_term_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_defined_plain_term

Definition at line 597 of file TPTPParser.cpp.

fof_defined_term

template<typename It >

qi::rule<It, fof_plain_term_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_defined_term

Definition at line 592 of file TPTPParser.cpp.

fof_function_term

template<typename It >

qi::rule<It, fof_plain_term_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_function_term

Definition at line 587 of file TPTPParser.cpp.

fof_plain_term

template<typename It >

qi::rule<It, fof_plain_term_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_plain_term

Definition at line 590 of file TPTPParser.cpp.

fof_system_term

template<typename It >

qi::rule<It, fof_plain_term_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_system_term

Definition at line 600 of file TPTPParser.cpp.

fof_term

template<typename It >

qi::rule<It, fof_arguments_struct(), ascii::space_type> tptp_parser::fof_term_grammar< It >::fof_term

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