print_cnf_formula_name Struct Reference

Semantic action for cnf_formula. More...

#include <TPTPParser.hpp>

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

Detailed Description

Semantic action for cnf_formula.

---

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

• TPTPParser.hpp
• TPTPParser.cpp