indexset.h File Reference


Detailed Description

Classes IndexSet, TaIndexSet.

Definition in file indexset.h.

#include "definitions.h"
#include "attributes.h"
#include "baseset.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.
#define INDEXSET_H

Typedefs

typedef IndexSet faudes::StateSet


Define Documentation

#define INDEXSET_H
 

Definition at line 938 of file indexset.h.


Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4