Class Literal

• Defined in File instantiationIP.h

Nested Relationships

Nested Types

• Struct Literal::LiteralParametersOutput

Class Documentation

class Literal

Public Functions

inline Literal(const proposition *p, FastEnvironment *e)

inline void write(ostream &o) const

inline const pred_symbol *getHead() const

inline LiteralParameterIterator begin()

inline LiteralParameterIterator end()

struct LiteralParametersOutput

Public Functions

inline LiteralParametersOutput(const FastEnvironment &bs)

inline string operator()(const parameter_symbol *v) const

Public Members

const FastEnvironment &bindings