libFAUDES

Sections

Index

cfl_indexset.h File Reference

Classes IndexSet, TaIndexSet. More...

#include "cfl_definitions.h"
#include "cfl_attributes.h"
#include "cfl_baseset.h"
#include "cfl_abaseset.h"
#include "cfl_symboltable.h"
#include <set>
#include <map>
#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.


Defines

#define TaStateSet   TaIndexSet
 Convenience Macro.

Typedefs

typedef IndexSet faudes::StateSet

Detailed Description

Classes IndexSet, TaIndexSet.

Definition in file cfl_indexset.h.

libFAUDES 2.16b --- 2010-9-8 --- c++ source docu by doxygen 1.6.3