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

namespace  faudes
 libFAUDES resides within the namespace faudes.

Detailed Description

Implements color sets for multitasking automata.

Definition in file mtc_colorset.h.

libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen