Inheritance diagram for tptp_parser::fof_annotated_grammar< It >:
Collaboration diagram for tptp_parser::fof_annotated_grammar< It >:
Public Attributes | |
| fof_formula_grammar< It > | fof_formula |
| qi::rule< It, ascii::space_type > | fof_annotated |
The documentation for this struct was generated from the following file:
- TPTPParser.cpp
