show_fof_formula Struct Reference

Display FOL formulas as you parse. More...

#include <TPTPParser.hpp>

Public Member Functions
void	operator() (const fof_formula_type &f) const

Detailed Description

Display FOL formulas as you parse.

Mostly for debugging purposes and probably not used in the final code.

---

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

• TPTPParser.hpp