make_fof_formula Struct Reference

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

#include <TPTPParser.hpp>

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

Detailed Description

More complex semantic action for FOF formulas.

Functions etc to make a FOF formula.

Definition at line 608 of file TPTPParser.hpp.

Member Function Documentation

operator()()

void make_fof_formula::operator()	(	const fof_formula_type &	f,
		qi::unused_type	,
		qi::unused_type	) const

Definition at line 1380 of file TPTPParser.cpp.

                                                         {
    current_formula =
        boost::apply_visitor(convert_fof_formula(), f);
  }

---

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

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