convert_fof_arguments_struct Struct Reference

More complex semantic actions, now functions etc to make a literal. More...

#include <TPTPParser.hpp>

Inheritance diagram for convert_fof_arguments_struct:

Collaboration diagram for convert_fof_arguments_struct:

Public Member Functions
Term *	operator() (const string &) const
Term *	operator() (const fof_plain_term_struct &) const

Detailed Description

More complex semantic actions, now functions etc to make a literal.

This is complicated by the need to be very careful to distinguish predicates from functions. So we have one function to deal with fof_plain_term the first time it's seen, to get a prodicate. Then a different one to get the functions.

Definition at line 544 of file TPTPParser.hpp.

Member Function Documentation

operator()() [1/2]

Term * convert_fof_arguments_struct::operator()

(

const fof_plain_term_struct &

t

)

const

Definition at line 1098 of file TPTPParser.cpp.

                                         {
  // See comment for companion function: this must be a function.
    Arity arity = t.args.size();
    vector<Term*> args;
    for (size_t i = 0; i < arity; i++) {
      Term* new_t =
        boost::apply_visitor(convert_fof_arguments_struct(),
                              t.args[i]);
      args.push_back(new_t);
    }
    Function* f = fun_index_p->add_function(t.functor, arity);
    return t_index_p->add_function_term(f, args);
  }

operator()() [2/2]

Term * convert_fof_arguments_struct::operator()

(

const string &

s

)

const

Definition at line 1089 of file TPTPParser.cpp.

                          {
  // The only rule that makes a variable is fof_term, and that's the
  // only thing that produces an fof_arguments_struct. So if there is
  // a string here then it must be a variable.
    Variable* new_var = var_index_p->add_named_var(s);
    return t_index_p->add_variable_term(new_var);
  }

---

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

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