indexset.h File Reference


Detailed Description

Classes IndexSet, TaIndexSet.

Definition in file indexset.h.

#include "definitions.h"
#include "attributes.h"
#include "baseset.h"
#include "symboltable.h"
#include <set>
#include <map>
#include <algorithm>

Go to the source code of this file.

Namespaces

namespace  faudes

Classes

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

Defines

#define TaStateSet   TaIndexSet
 Convenience Macro.

Typedefs

typedef IndexSet faudes::StateSet


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4