mtc_attributes.cpp File ReferenceImplements the color representation for single states in multitasking automata as state attributes. More... #include "mtc_attributes.h" #include "corefaudes.h" Go to the source code of this file.
Detailed DescriptionImplements the color representation for single states in multitasking automata as state attributes. Definition in file mtc_attributes.cpp. libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |