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

namespace  faudes
 libFAUDES resides within the namespace faudes.

Macros

#define TaStateSet   TaIndexSet
 Convenience Macro.

Typedefs

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

Detailed Description

Classes IndexSet, TaIndexSet.

Definition in file cfl_indexset.h.

libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen