Inheritance diagram for tptp_parser::include_grammar< It >:
Collaboration diagram for tptp_parser::include_grammar< It >:
Public Attributes | |
| qi::rule< Iter, string(), ascii::space_type > | space_name |
| qi::rule< Iter, vector< string >(), ascii::space_type > | name_list |
| qi::rule< Iter, vector< string >(), ascii::space_type > | formula_selection |
| qi::rule< Iter, vector< string >(), ascii::space_type > | include_optionals |
| qi::rule< Iter, vector< string >(), ascii::space_type > | include |
The documentation for this struct was generated from the following file:
- TPTPParser.cpp
