mtc_attributes.cpp File Reference Implements the color representation for single states in multitasking automata as state attributes More... #include "mtc_attributes.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.24g --- 2014.09.15 --- c++ api documentaion by doxygen |