add_current_clause Struct Reference

Collection of more complex semantic actions. More...

#include <TPTPParser.hpp>

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

Detailed Description

Collection of more complex semantic actions.

These are for the literal grammar.

Definition at line 519 of file TPTPParser.hpp.

Member Function Documentation

operator()()

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

Definition at line 1077 of file TPTPParser.cpp.

                         {
      if (include_this_item) {
        all_clauses.push_back(current_clause);
        clause_roles.push_back(current_clause_role);
        clause_names.push_back(current_clause_name);
        if (current_clause_role == string("negated_conjecture"))
          negated_conjecture_found = true;
        records_p->add_cnf_file_record(current_clause_name, 
                  current_clause_role, 
                  current_clause.to_tptp_string(), 
                  include_file_name);
      }
      current_clause.clear();
      current_clause_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