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 421 of file TPTPParser.hpp.

Member Function Documentation

operator()()

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

inline

Definition at line 422 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