Class Literal

Defined in File instantiation.h

Nested Relationships

Nested Types

Struct Literal::LiteralParametersOutput

Inheritance Relationships

Derived Type

public Inst::CreatedLiteral (Struct CreatedLiteral)

Class Documentation

class Literal

Subclassed by Inst::CreatedLiteral

Public Functions

inline Literal(const VAL::proposition *p, VAL::FastEnvironment *e)

inline VAL::FastEnvironment *getEnv() const

inline const VAL::proposition *toProposition()

inline void write(ostream &o) const

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

inline const VAL::proposition *getProp() const

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

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

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

inline int getID() const

inline void setID(int x)

inline virtual ~Literal()

Protected Attributes

int id

const VAL::proposition *prop

VAL::FastEnvironment *env

const VAL::proposition *realisation

struct LiteralParametersOutput

Public Functions

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

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

Public Members

const VAL::FastEnvironment &bindings