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.

Definition at line 418 of file TPTPParser.hpp.

Member Function Documentation

operator()()

void show_fof_formula::operator() ( const fof_formula_type & f ) const

inline

Definition at line 419 of file TPTPParser.hpp.

                                                     {
    show_fof_formula_type sf;
    boost::apply_visitor(sf, f);
    cout << endl;
  }

---

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

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/TPTPParser.hpp