Definition in file tp_attributes.h.
#include "tokenreader.h"
#include "tokenwriter.h"
#include "attributes.h"
#include "tp_timeconstraint.h"
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Classes | |
class | faudes::AttributeTimedTrans |
Transition Attribute with guard and resets. More... | |
class | faudes::AttributeTimedState |
State attribute with invariant. More... | |
class | faudes::AttributeTimedGlobal |
Globat attribute with clockset. More... |