mtc_colorset.h File Reference

Implements color sets for multitasking automata. More...

#include "corefaudes.h"

Go to the source code of this file.

Classes
class	faudes::ColorSet
	Container for colors: this is a NameSet with its own static symboltable. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Detailed Description

Implements color sets for multitasking automata.

Definition in file mtc_colorset.h.