Class PNE

Defined in File instantiation.h

Nested Relationships

Nested Types

Struct PNE::PNEParametersOutput

Class Documentation

class PNE

Public Functions

inline PNE(const VAL::func_term *f, VAL::FastEnvironment *e)

inline const VAL::func_term *toFuncTerm()

inline void write(ostream &o) const

inline const VAL::func_symbol *getHead() const

inline const VAL::func_term *getFunc() const

inline VAL::LiteralParameterIterator<VAL::parameter_symbol_list::const_iterator> begin()

inline VAL::LiteralParameterIterator<VAL::parameter_symbol_list::const_iterator> end()

inline const VAL::parameter_symbol *operator[](int n)

inline int getID() const

inline void setID(int x)

struct PNEParametersOutput : public std::unary_function<const VAL::parameter_symbol*, string>

Public Functions

inline PNEParametersOutput(const VAL::FastEnvironment &bs)

inline string operator()(const VAL::parameter_symbol *v) const

Public Members

const VAL::FastEnvironment &bindings