Class instantiatedOp

• Defined in File instantiationIP.h

Nested Relationships

Nested Types

• Struct instantiatedOp::ActionParametersOutput

Class Documentation

class instantiatedOp

Public Functions

inline instantiatedOp(const operator_ *o, FastEnvironment *e)

inline ~instantiatedOp()

inline void write(ostream &o) const

void collectLiterals()

void writePres(ostream &o) const

void writeAdds(ostream &o) const

void writeDels(ostream &o) const

Public Static Functions

static void instantiate(const operator_ *op, const problem *p, TypeChecker &tc)

static void writeAll(ostream &o)

static inline int howMany()

static void createAllLiterals(problem *p)

static void writeAllLiterals(ostream &o)