Class mutex

Defined in File TimSupport.h

Class Documentation

class mutex

Public Functions

inline mutex(VAL::operator_ *o1, VAL::operator_ *o2)

void write(ostream &o) const

template<class TI> inline unsigned int getMutexes(VAL::operator_ *A, TI sa, TI ea, TI sb, TI eb)

template<class TI> inline bool selfMutex(TI sa, TI ea)

Public Static Functions

static inline void constructMutex(VAL::operator_ *o1, int a1, VAL::operator_ *o2, int a2, opType t1 = INSTANT, opType t2 = INSTANT)