Structure for fof_defined_infix_formula and fof_infix_unary. More...
#include <TPTPParser.hpp>
Collaboration diagram for tptp_parser::infix_struct:
Public Attributes | |
| fof_arguments_struct | left |
| string | connective |
| fof_arguments_struct | right |
Detailed Description
Structure for fof_defined_infix_formula and fof_infix_unary.
The documentation for this struct was generated from the following file:
