tp_attributes.h File Reference

#include "corefaudes.h"
#include "tp_timeconstraint.h"

Go to the source code of this file.

Classes
class	faudes::AttributeTimedTrans
class	faudes::AttributeTimedState
class	faudes::AttributeTimedGlobal

Namespaces
	faudes

Detailed Description

Attributes for timed automata

Definition in file tp_attributes.h.