cfl_indexset.h File Reference

Classes IndexSet, TaIndexSet. More...

#include "cfl_definitions.h"
#include "cfl_exception.h"
#include "cfl_attrmap.h"
#include "cfl_symboltable.h"
#include "cfl_registry.h"
#include "cfl_basevector.h"
#include <algorithm>

Go to the source code of this file.

Classes
class	faudes::IndexSet
	Set of indices. More...
class	faudes::TaIndexSet< Attr >
	Set of indices with attributes. More...

Namespaces
	faudes
	libFAUDES resides within the namespace faudes.

Macros
#define	TaStateSet   TaIndexSet
	Convenience Macro. More...

Typedefs
typedef IndexSet	faudes::StateSet
typedef TBaseVector< IndexSet >	faudes::IndexSetVector
	Convenience typedef for vectors og generators. More...

Detailed Description

Classes IndexSet, TaIndexSet.

Definition in file cfl_indexset.h.