Class TIMpredSymbol

Defined in File TimSupport.h

Inheritance Relationships

Base Type

public VAL::extended_pred_symbol (Class extended_pred_symbol)

Class Documentation

class TIMpredSymbol : public VAL::extended_pred_symbol 

Public Functions

inline TIMpredSymbol(VAL::pred_symbol *p, VAL::proposition *q)

template<class TI> inline TIMpredSymbol(pred_symbol *p, TI s, TI e)

inline Property *property(int a)

inline void setMutex(int p1, TIMpredSymbol *tps, int p2)

template<typename TI> inline bool checkMutex(TI sa, TI ea, TIMpredSymbol *pb, TI sb, TI eb)