Class TIMobjectSymbol

Defined in File TimSupport.h

Inheritance Relationships

Base Type

public VAL::const_symbol (Class const_symbol)

Class Documentation

class TIMobjectSymbol : public VAL::const_symbol 

Public Functions

inline TIMobjectSymbol(const string &s)

inline void addInitial(Property *p, VAL::proposition *prp)

inline void addFinal(Property *p)

inline void addIn(PropertySpace *p)

void distributeStates(TIMAnalyser *tan)

inline virtual void write(ostream &o) const

inline const vector<VAL::proposition*> &getInits() const

inline VAL::proposition *find(const Property *p) const