Inheritance diagram for tptp_parser::literal_grammar< It >:
Collaboration diagram for tptp_parser::literal_grammar< It >:
Public Attributes | |
| fof_defined_infix_formula_grammar< It > | fof_defined_infix_formula |
| fof_infix_unary_grammar< It > | fof_infix_unary |
| fof_atomic_formula_grammar< It > | fof_atomic_formula |
| qi::rule< It, fof_atomic_formula_type(), ascii::space_type > | literal |
The documentation for this struct was generated from the following file:
- TPTPParser.cpp
