libFAUDES

Sections

Index

indexset.h File Reference


Detailed Description

Classes IndexSet, TaIndexSet.

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

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.13a c++ source docu by doxygen 1.5.6