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 616 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 1386 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);
      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:

• source/TPTPParser.hpp
• source/TPTPParser.cpp