print_fof_formula_name Struct Reference

Semantic action for fof_formula. More...

#include <TPTPParser.hpp>

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

Detailed Description

Semantic action for fof_formula.

Definition at line 573 of file TPTPParser.hpp.

Member Function Documentation

operator()()

void print_fof_formula_name::operator()	(	const string &	s,
		qi::unused_type	,
		qi::unused_type	) const

Definition at line 1187 of file TPTPParser.cpp.

                           {
        current_formula_name = s;
  #ifdef DEBUGOUTPUT
          cout << "Found fof formula: "
            << s;
  #endif
        include_this_item = false;
        if (to_include.empty()) {
          include_this_item = true;
          return;
        }
        auto i = to_include.find(s);
        if (i != to_include.end()) {
          include_this_item = true;
          return;
        }
        return;
  }

---

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