Parser's representation of a Clause. More...
#include <TPTPParser.hpp>
Collaboration diagram for tptp_parser::cnf_annotated_struct:
Public Attributes | |
| string | name |
| string | role |
| std::vector< fof_atomic_formula_type > | f |
Detailed Description
Parser's representation of a Clause.
The documentation for this struct was generated from the following file:
