tptp_parser::cnf_annotated_struct Struct Reference

Parser's representation of a Clause. More...

#include <TPTPParser.hpp>

Collaboration diagram for tptp_parser::cnf_annotated_struct:

Public Attributes
string	name
string	role
std::vector< fof_atomic_formula_type >	f

Detailed Description

Parser's representation of a Clause.

Definition at line 125 of file TPTPParser.hpp.

Member Data Documentation

f

std::vector<fof_atomic_formula_type> tptp_parser::cnf_annotated_struct::f

Definition at line 128 of file TPTPParser.hpp.

name

string tptp_parser::cnf_annotated_struct::name

Definition at line 126 of file TPTPParser.hpp.

role

string tptp_parser::cnf_annotated_struct::role

Definition at line 127 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