Class instantiatedDrv

Defined in File instantiation.h

Nested Relationships

Nested Types

Struct instantiatedDrv::DerivationRuleParametersOutput

Class Documentation

class instantiatedDrv

Public Types

typedef VAL::FastEnvironment::const_iterator const_iterator

Public Functions

inline instantiatedDrv(const VAL::derivation_rule *o, VAL::FastEnvironment *e)

inline ~instantiatedDrv()

inline void write(ostream &o) const

inline int arity() const

inline const VAL::const_symbol *getArg(int i) const

void collectLiterals(VAL::TypeChecker *tc)

inline const_iterator begin() const

inline const_iterator end() const

inline const VAL::derivation_rule *forDrv() const

inline VAL::FastEnvironment *getEnv()

inline const instantiatedDrvUtils::index *getHead() const

inline int getID() const

inline void setID(int x)

Public Static Functions

static void instantiate(const VAL::derivation_rule *op, const VAL::problem *p, VAL::TypeChecker &tc)

static void filterDrvs(VAL::TypeChecker*const)

static inline void drvErase(const instantiatedDrv *o)

static void writeAll(ostream &o)

static inline int howMany()

static void createAllLiterals(VAL::problem *p, VAL::TypeChecker *tc)

static inline DrvStore::iterator drvsBegin()

static inline DrvStore::iterator drvsEnd()

static inline instantiatedDrv *getInstDrv(int i)

template<typename TI> static inline instantiatedDrv *getInstDrv(const VAL::derivation_rule *op, TI sp, TI ep)

template<typename TI> static inline instantiatedOp *getInstDrv(VAL::pred_symbol *osym, TI sp, TI ep)

template<typename TI> static inline instantiatedOp *getInstDrv(const string &opname, TI sp, TI ep)

static inline DrvStore::iterator from(int k)

Friends

friend class Collector