add_fof_formula Struct Reference

More complex semantic action for FOF formulas. More...

#include <TPTPParser.hpp>

Public Member Functions
void	operator() (qi::unused_type, qi::unused_type, qi::unused_type) const

Detailed Description

More complex semantic action for FOF formulas.

Functions etc to make a FOF formula.

Definition at line 619 of file TPTPParser.hpp.

Member Function Documentation

operator()()

void add_fof_formula::operator()	(	qi::unused_type	,
		qi::unused_type	,
		qi::unused_type	) const

Definition at line 1397 of file TPTPParser.cpp.

                                                         {
    if (include_this_item) {
      all_formulas.push_back(current_formula);
      formula_roles.push_back(current_formula_role);
      formula_names.push_back(current_formula_name);
      records_p->add_fof_file_record(current_formula_name, 
                  current_formula_role, 
                  current_formula.to_tptp_string(), 
                  include_file_name);      
      if (current_formula_role == string("conjecture"))
          conjecture_found = true;
#ifdef DEBUGOUTPUT
      cout << current_formula.to_string() << endl;
#endif
    }
    current_formula_role = "";
  }

---

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

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