tp_attributes.cpp File Reference


Detailed Description

Attributes for timed automata.

Definition in file tp_attributes.cpp.

#include "tp_attributes.h"

Go to the source code of this file.

Namespaces

namespace  faudes


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4