Class MutexStore

• Defined in File TimSupport.h

Inheritance Relationships

Derived Types

• public TIM::TIMaction (Class TIMaction)

• public TIM::TIMdurativeAction (Class TIMdurativeAction)

Class Documentation

class MutexStore

Subclassed by TIM::TIMaction, TIM::TIMdurativeAction

Public Functions

inline virtual ~MutexStore()

mutex *getMutex(VAL::operator_ *o)

void showMutexes()

template<class TI>
inline void add(TI s, TI e, int v, opType o)

inline void addCondition(Property *p, int v, opType o)

inline void addInvariant(Property *p, int v)

void additionalMutexes()