Recursive data structure for Terms. More...
#include <TPTPParser.hpp>
Collaboration diagram for tptp_parser::fof_plain_term_struct:
Public Attributes | |
| string | functor |
| std::vector< fof_arguments_struct > | args |
Detailed Description
Recursive data structure for Terms.
This is pretty closely based on the XML example in the boost documentation.
fof_plain_term includes other fof_plain_terms, so this has to be made recursive.
The documentation for this struct was generated from the following file:
