Class TransitionRule

Defined in File TimSupport.h

Class Documentation

class TransitionRule

Public Functions

TransitionRule(TIMAnalyser *t, VAL::operator_ *o, int v, PropertyState *e, PropertyState *l, PropertyState *r, opType ty = INSTANT)

TransitionRule(TIMAnalyser *t, VAL::derivation_rule *o, int v, PropertyState *e, PropertyState *l, PropertyState *r, opType ty = INSTANT)

inline bool isTrivial() const

inline bool isAttribute() const

inline bool isIncreasing() const

inline bool isDecreasing() const

void distributeEnablers()

inline void write(ostream &o) const

RuleObjectIterator beginEnabledObjects()

RuleObjectIterator endEnabledObjects()

inline PropertyState *tryRule(PropertyState *p)

void assembleMutex(TransitionRule*)

void assembleMutex(VAL::operator_*, const mRec &pr)

Property *candidateSplit()

void recordInAction(PropertySpace *p)

inline int paramNum() const

TransitionRule *splitRule(Property *p)

inline const PropertyState *getLHS() const

inline const PropertyState *getRHS() const

inline const PropertyState *getEnablers() const

inline const VAL::operator_ *byWhat() const

bool applicableIn(const PropertyState *p) const