tptp_parser::infix_struct Struct Reference

Structure for fof_defined_infix_formula and fof_infix_unary. More...

#include <TPTPParser.hpp>

Collaboration diagram for tptp_parser::infix_struct:

Public Attributes
fof_arguments_struct	left
string	connective
fof_arguments_struct	right

Detailed Description

Structure for fof_defined_infix_formula and fof_infix_unary.

Definition at line 110 of file TPTPParser.hpp.

Member Data Documentation

connective

string tptp_parser::infix_struct::connective

Definition at line 112 of file TPTPParser.hpp.

left

fof_arguments_struct tptp_parser::infix_struct::left

Definition at line 111 of file TPTPParser.hpp.

right

fof_arguments_struct tptp_parser::infix_struct::right

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