add_fof_formula Struct Reference

More complex semantic action for FOF formulas. More...

#include <TPTPParser.hpp>

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

Detailed Description

More complex semantic action for FOF formulas.

Functions etc to make a FOF formula.

---

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

• TPTPParser.hpp
• TPTPParser.cpp