libFAUDES

Sections

Index

indexset.h File Reference


Detailed Description

Classes IndexSet, TaIndexSet.

Definition in file indexset.h.

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

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

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6