tptp_parser::fof_plain_term_struct Struct Reference

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.

Definition at line 103 of file TPTPParser.hpp.

Member Data Documentation

args

std::vector<fof_arguments_struct> tptp_parser::fof_plain_term_struct::args

Definition at line 105 of file TPTPParser.hpp.

functor

string tptp_parser::fof_plain_term_struct::functor

Definition at line 104 of file TPTPParser.hpp.

---

The documentation for this struct was generated from the following file:

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/TPTPParser.hpp