Struct ProtoRule

Defined in File TimSupport.h

Struct Documentation

struct ProtoRule

Public Functions

inline ProtoRule(TIMAnalyser *t, VAL::operator_ *o, int v, opType ty = INSTANT)

inline ProtoRule(TIMAnalyser *t, VAL::derivation_rule *o, int v, opType ty = INSTANT)

inline void insertPre(Property *p)

inline void insertAdd(Property *p)

inline void insertDel(Property *p)

void addRules(TRules &trules)

Public Members

TIMAnalyser *tan

VAL::operator_ *op

VAL::derivation_rule *drv

opType opt

int var

vector<Property*> enablers

vector<Property*> adds

vector<Property*> dels