More complex semantic action for FOF formulas. More...
#include <TPTPParser.hpp>
Inheritance diagram for convert_fof_formula:
Collaboration diagram for convert_fof_formula:
Public Member Functions | |
| FOF | operator() (const fof_plain_term_struct &) const |
| FOF | operator() (const infix_struct &) const |
| FOF | operator() (const fof_unitary_formula_struct &) const |
| FOF | operator() (const fof_negation_struct &) const |
| FOF | operator() (const fof_quantifier_struct &) const |
| FOF | operator() (const fof_binary_struct &) const |
| FOF | operator() (const fof_andor_struct &) const |
Detailed Description
The documentation for this struct was generated from the following files:
- TPTPParser.hpp
- TPTPParser.cpp
