ActiveEvents(Idx x1, SymbolTable *pSymTab=NULL) const | faudes::TTransSet< Cmp > | |
Assign(const TBaseSet< Transition, Cmp > &rOtherSet) | faudes::TBaseSet< Transition, Cmp > | [protected] |
Attribute(const Transition &rTrans) const | faudes::TaTransSet< Attr > | |
Attribute(const Transition &rTrans, const Attr &attr) | faudes::TaTransSet< Attr > | |
Attributep(const Transition &rTrans) | faudes::TaTransSet< Attr > | |
AttributesSize(void) const | faudes::TaTransSet< Attr > | |
Begin(void) const | faudes::TTransSet< Cmp > | |
Begin(Idx x1) const | faudes::TTransSet< Cmp > | |
Begin(Idx x1, Idx ev) const | faudes::TTransSet< Cmp > | |
BeginByEv(Idx ev) const | faudes::TTransSet< Cmp > | |
BeginByEvX1(Idx ev, Idx x1) const | faudes::TTransSet< Cmp > | |
BeginByEvX2(Idx ev, Idx x2) const | faudes::TTransSet< Cmp > | |
BeginByX2(Idx x2) const | faudes::TTransSet< Cmp > | |
BeginByX2Ev(Idx x2, Idx ev) const | faudes::TTransSet< Cmp > | |
Clear(void) | faudes::TaTransSet< Attr > | [virtual] |
ClearAttributes(void) | faudes::TaTransSet< Attr > | |
ClrAttribute(const Transition &rTrans) | faudes::TaTransSet< Attr > | |
const_iterator typedef | faudes::TBaseSet< Transition, Cmp > | [protected] |
CopyWithoutAttributes(TaTransSet< OtherAttr > &res) const | faudes::TaTransSet< Attr > | |
Detach(void) const | faudes::TBaseSet< Transition, Cmp > | |
DoDWrite(TokenWriter &rTw) const | faudes::TBaseSet< Transition, Cmp > | [protected, virtual] |
DoRead(TokenReader &rTr, const std::string &rLabel="BaseSet") | faudes::TBaseSet< Transition, Cmp > | [protected, virtual] |
DoWrite(TokenWriter &rTw, const std::string &rLabel="") const | faudes::TTransSet< Cmp > | [protected, virtual] |
DValid(const std::string &rMessage="") const | faudes::TBaseSet< Transition, Cmp > | |
DWrite(void) const | faudes::TBaseSet< Transition, Cmp > | |
DWrite(TokenWriter &rTw) const | faudes::TBaseSet< Transition, Cmp > | |
DWrite(const char *pFileName, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const | faudes::TBaseSet< Transition, Cmp > | |
Empty(void) const | faudes::TBaseSet< Transition, Cmp > | |
End(void) const | faudes::TTransSet< Cmp > | |
End(Idx x1) const | faudes::TTransSet< Cmp > | |
End(Idx x1, Idx ev) const | faudes::TTransSet< Cmp > | |
EndByEv(Idx ev) const | faudes::TTransSet< Cmp > | |
EndByEvX1(Idx ev, Idx x1) const | faudes::TTransSet< Cmp > | |
EndByEvX2(Idx ev, Idx x2) const | faudes::TTransSet< Cmp > | |
EndByX2(Idx x2) const | faudes::TTransSet< Cmp > | |
EndByX2Ev(Idx x2, Idx ev) const | faudes::TTransSet< Cmp > | |
Erase(const Transition &t) | faudes::TaTransSet< Attr > | [virtual] |
Erase(Idx x1, Idx ev, Idx x2) | faudes::TaTransSet< Attr > | |
Erase(const Iterator &it) | faudes::TaTransSet< Attr > | [virtual] |
faudes::TTransSet::Erase(const Iterator &it) | faudes::TTransSet< Cmp > | |
EraseByEv(Idx ev) | faudes::TaTransSet< Attr > | |
EraseByX1(Idx x1) | faudes::TaTransSet< Attr > | |
EraseByX1OrX2(Idx x) | faudes::TaTransSet< Attr > | |
EraseByX2(Idx x2) | faudes::TaTransSet< Attr > | |
EraseSet(const TBaseSet &rOtherSet) | faudes::TBaseSet< Transition, Cmp > | [virtual] |
Exists(const Transition &t) const | faudes::TTransSet< Cmp > | |
Exists(Idx x1, Idx ev, Idx x2) const | faudes::TTransSet< Cmp > | |
Exists(Idx x) const | faudes::TTransSet< Cmp > | |
Find(Idx x1, Idx ev, Idx x2) const | faudes::TTransSet< Cmp > | |
Find(const Transition &t) const | faudes::TTransSet< Cmp > | |
Insert(Idx x1, Idx ev, Idx x2) | faudes::TaTransSet< Attr > | |
Insert(const Transition &rTransition) | faudes::TaTransSet< Attr > | [virtual] |
Insert(const Transition &rTransition, const Attr &rAttr) | faudes::TaTransSet< Attr > | |
InsertSet(const TBaseSet &rOtherSet) | faudes::TBaseSet< Transition, Cmp > | [virtual] |
iterator typedef | faudes::TBaseSet< Transition, Cmp > | [protected] |
Iterator typedef | faudes::TTransSet< Cmp > | |
Lock(void) const | faudes::TBaseSet< Transition, Cmp > | |
mAttributeMap | faudes::TaTransSet< Attr > | [protected] |
mDefAttribute | faudes::TaTransSet< Attr > | [protected, static] |
mEmptySet | faudes::TBaseSet< Transition, Cmp > | [protected, static] |
mpSet | faudes::TBaseSet< Transition, Cmp > | [protected] |
Name(void) const | faudes::TBaseSet< Transition, Cmp > | |
Name(const std::string &rName) | faudes::TBaseSet< Transition, Cmp > | |
operator *(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator!=(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator+(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator-(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator<(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator<=(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator=(const TBaseSet &rSrc) | faudes::TBaseSet< Transition, Cmp > | [inline, virtual] |
operator==(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
operator>=(const TBaseSet &rOtherSet) const | faudes::TBaseSet< Transition, Cmp > | |
pSet | faudes::TBaseSet< Transition, Cmp > | [protected] |
Read(const std::string &rFileName, const std::string &rLabel="BaseSet") | faudes::TBaseSet< Transition, Cmp > | |
Read(TokenReader &rTr, const std::string &rLabel="BaseSet") | faudes::TBaseSet< Transition, Cmp > | |
ReSort(TTransSet< OtherCmp > &res) const | faudes::TTransSet< Cmp > | |
SetIntersection(const TBaseSet &rOtherSet) | faudes::TBaseSet< Transition, Cmp > | [virtual] |
SetUnion(const TBaseSet &rOtherSet) | faudes::TBaseSet< Transition, Cmp > | [virtual] |
Size(void) const | faudes::TBaseSet< Transition, Cmp > | |
StateSpace(void) const | faudes::TTransSet< Cmp > | |
StateSpaceX2(Idx x1) const | faudes::TTransSet< Cmp > | |
StateSpaceX2(Idx x1, Idx ev) const | faudes::TTransSet< Cmp > | |
TaTransSet class | faudes::TaTransSet< Attr > | [friend] |
TaTransSet(void) | faudes::TaTransSet< Attr > | |
TaTransSet(const TaTransSet &rOtherSet) | faudes::TaTransSet< Attr > | |
TaTransSet(const TTransSet< TransSort::X1EvX2 > &rOtherSet) | faudes::TaTransSet< Attr > | |
TBaseSet(void) | faudes::TBaseSet< Transition, Cmp > | |
TBaseSet(const TBaseSet &rOtherSet) | faudes::TBaseSet< Transition, Cmp > | |
ThisIterator(const typename std::set< Transition, Cmp >::const_iterator &sit) const | faudes::TBaseSet< Transition, Cmp > | [protected] |
ToString(void) const | faudes::TBaseSet< Transition, Cmp > | |
TTransSet(void) | faudes::TTransSet< Cmp > | |
TTransSet(const TTransSet &rOtherSet) | faudes::TTransSet< Cmp > | |
Valid(const Transition &rElem) const | faudes::TBaseSet< Transition, Cmp > | [virtual] |
Write(void) const | faudes::TBaseSet< Transition, Cmp > | |
Write(const std::string &pFileName, const std::string &rLabel="", std::ios::openmode openmode=std::ios::out|std::ios::trunc) const | faudes::TBaseSet< Transition, Cmp > | |
Write(TokenWriter &rTw, const std::string &rLabel="") const | faudes::TBaseSet< Transition, Cmp > | |
~TaTransSet() | faudes::TaTransSet< Attr > | [inline, virtual] |
~TBaseSet(void) | faudes::TBaseSet< Transition, Cmp > | [virtual] |
~TTransSet() | faudes::TTransSet< Cmp > | [inline, virtual] |