FileIncludeAdder Struct Reference

One of several basic semantic actions. More...

#include <TPTPParser.hpp>

Public Member Functions
void	operator() (const vector< 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 436 of file TPTPParser.hpp.

Member Function Documentation

operator()()

void FileIncludeAdder::operator()	(	const vector< string > &	inc,
		qi::unused_type	,
		qi::unused_type	) const

Definition at line 984 of file TPTPParser.cpp.

                                                           {
      FileIncludeItem item;
      item.first = inc[0];
      vector<string> inc2 = inc;
      inc2.erase(inc2.begin());
      item.second = inc2;
      file_includes.push_back(item);
      // This line does the actual inclusion.
      recursive_tptp_include(item);
  }

---

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