set_neg_lit 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 492 of file TPTPParser.hpp.

Member Function Documentation

operator()()

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

Definition at line 1054 of file TPTPParser.cpp.

                         {
      neg_lit = true;
    }

---

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