DistinctAdder Struct Reference

One of several basic semantic actions. More...

#include <TPTPParser.hpp>

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

Detailed Description

One of several basic semantic actions.

Collectively, store include file information, comments and so on.

Definition at line 468 of file TPTPParser.hpp.

Member Function Documentation

operator()()

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

Definition at line 1026 of file TPTPParser.cpp.

                                         {
      distinct_objects.insert(s);
      string message("Found distinct object: ");
      message += s;
      if (params::verbosity > 2)
        cout << message << endl;
  }

---

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