More complex semantic actions, now functions etc to make a literal. More...
#include <TPTPParser.hpp>
Inheritance diagram for convert_fof_atomic_formula:
Collaboration diagram for convert_fof_atomic_formula:
Public Member Functions | |
| Literal | operator() (const fof_plain_term_struct &) const |
| Literal | operator() (const infix_struct &) const |
Detailed Description
More complex semantic actions, now functions etc to make a literal.
This is complicated by the need to be very careful to distinguish predicates from functions. So we have one function to deal with fof_plain_term the first time it's seen, to get a predicate. Then a different one to get the functions.
The documentation for this struct was generated from the following files:
- TPTPParser.hpp
- TPTPParser.cpp
