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 |
The documentation for this struct was generated from the following file:
- TPTPParser.cpp
