About
User Reference
C++ API
luafaudes
Developer
Links
libFAUDES online
libFAUDES

Sections

Index

mtc_attributes.h File Reference

Implements the color representation for single states in multitasking automata as state attributes. More...

#include "corefaudes.h"
#include "mtc_colorset.h"

Go to the source code of this file.

Classes

class  faudes::AttributeColoredState
 State attributes for multitasking automata. More...

Namespaces

namespace  faudes
 

libFAUDES resides within the namespace faudes.


Defines

#define MTC_ATTRIBUTES_H

Detailed Description

Implements the color representation for single states in multitasking automata as state attributes.

Definition in file mtc_attributes.h.


Define Documentation

#define MTC_ATTRIBUTES_H

Definition at line 191 of file mtc_attributes.h.

libFAUDES 2.20s --- 2011.10.12 --- c++ source docu by doxygen