show_lit Struct Reference

Collection of more complex semantic actions. More...

#include <TPTPParser.hpp>

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

Detailed Description

Collection of more complex semantic actions.

These are for the literal grammar.

---

The documentation for this struct was generated from the following files:

• TPTPParser.hpp
• TPTPParser.cpp