libFAUDES

Sections

Index

faudes::TaTransSet< Attr > Member List

This is the complete list of members for faudes::TaTransSet< Attr >, including all inherited members.

ActiveEvents(Idx x1, SymbolTable *pSymTab=NULL) const faudes::TTransSet< Cmp > [inline]
Assign(const TBaseSet< T, Cmp > &rSourceSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
faudes::Type::Assign(const Type &rSrc)faudes::Type [virtual]
Attribute(void) const faudes::TaTransSet< Attr > [inline, virtual]
Attribute(const Transition &rTrans) const faudes::TaTransSet< Attr > [inline, virtual]
Attribute(const Transition &rTrans, const Attr &rAttr)faudes::TaTransSet< Attr > [inline, virtual]
Attribute(const Transition &rTrans, const Type &rAttr)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::Attribute(const T &rElem) const faudes::TBaseSet< T, Cmp > [inline, virtual]
faudes::TTransSet::Attribute(const T &rElem, const Type &rAttr)faudes::TBaseSet< T, Cmp > [inline, virtual]
Attributep(void) const faudes::TaTransSet< Attr > [inline, virtual]
Attributep(const Transition &rTrans)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::Attributep(const T &rElem)faudes::TBaseSet< T, Cmp > [inline, virtual]
Attributes(const TransSet &rOtherSet)faudes::TaTransSet< Attr > [inline, virtual]
Attributes(const TaTransSet &rOtherSet)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::Attributes(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
AttributesSize(void) const faudes::TaTransSet< Attr > [inline, virtual]
AttributeTry(const Type &rAttr) const faudes::TaTransSet< Attr > [inline, virtual]
AttributeTry(const Transition &rTrans, const Type &rAttr)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::AttributeTry(const T &rElem, const Type &rAttr)faudes::TBaseSet< T, Cmp > [inline, virtual]
Begin(void) const faudes::TTransSet< Cmp > [inline]
Begin(Idx x1) const faudes::TTransSet< Cmp > [inline]
Begin(Idx x1, Idx ev) const faudes::TTransSet< Cmp > [inline]
BeginByEv(Idx ev) const faudes::TTransSet< Cmp > [inline]
BeginByEvX1(Idx ev, Idx x1) const faudes::TTransSet< Cmp > [inline]
BeginByEvX2(Idx ev, Idx x2) const faudes::TTransSet< Cmp > [inline]
BeginByX2(Idx x2) const faudes::TTransSet< Cmp > [inline]
BeginByX2Ev(Idx x2, Idx ev) const faudes::TTransSet< Cmp > [inline]
Cast(const Type *pOther) const faudes::Type [virtual]
Clear(void)faudes::TaTransSet< Attr > [inline, virtual]
ClearAttributes(void)faudes::TaTransSet< Attr > [inline, virtual]
ClrAttribute(const Transition &rTrans)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::ClrAttribute(const T &rElem)faudes::TBaseSet< T, Cmp > [inline, virtual]
const_iterator typedeffaudes::TBaseSet< T, Cmp > [protected]
Copy(TaTransSet< Attr > &rOtherSet) const faudes::TaTransSet< Attr > [inline, virtual]
Copy(TransSet &rOtherSet) const faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::Copy(TTransSet &rOtherSet) const faudes::TTransSet< Cmp > [inline, virtual]
faudes::TBaseSet::Copy(TBaseSet< T, Cmp > &rDestSet) const faudes::TBaseSet< T, Cmp > [inline, virtual]
CopyWithoutAttributes(TTransSet &rOtherSet) const faudes::TTransSet< Cmp > [inline, virtual]
Detach(void) const faudes::TBaseSet< T, Cmp > [inline]
DoAssign(const TBaseSet< T, Cmp > &rSourceSet)faudes::TBaseSet< T, Cmp > [inline, protected, virtual]
faudes::Type::DoAssign(const Type &rSrc)faudes::Type [protected, virtual]
DoDWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const faudes::TBaseSet< T, Cmp > [inline, protected, virtual]
DoRead(TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)faudes::TBaseSet< T, Cmp > [inline, protected, virtual]
DoWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const faudes::TTransSet< Cmp > [inline, protected, virtual]
DValid(const std::string &rMessage="") const faudes::TBaseSet< T, Cmp > [inline]
DWrite(const Type *pContext=0) const faudes::Type
DWrite(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const faudes::Type
DWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const faudes::Type
Empty(void) const faudes::TBaseSet< T, Cmp > [inline]
End(void) const faudes::TTransSet< Cmp > [inline]
End(Idx x1) const faudes::TTransSet< Cmp > [inline]
End(Idx x1, Idx ev) const faudes::TTransSet< Cmp > [inline]
EndByEv(Idx ev) const faudes::TTransSet< Cmp > [inline]
EndByEvX1(Idx ev, Idx x1) const faudes::TTransSet< Cmp > [inline]
EndByEvX2(Idx ev, Idx x2) const faudes::TTransSet< Cmp > [inline]
EndByX2(Idx x2) const faudes::TTransSet< Cmp > [inline]
EndByX2Ev(Idx x2, Idx ev) const faudes::TTransSet< Cmp > [inline]
Erase(const Transition &t)faudes::TaTransSet< Attr > [inline]
Erase(Idx x1, Idx ev, Idx x2)faudes::TaTransSet< Attr > [inline]
Erase(const Iterator &it)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TBaseSet::Erase(const T &rElem)faudes::TBaseSet< T, Cmp > [inline, virtual]
EraseByEv(Idx ev)faudes::TaTransSet< Attr > [inline]
EraseByX1(Idx x1)faudes::TaTransSet< Attr > [inline]
EraseByX1OrX2(Idx x)faudes::TaTransSet< Attr > [inline]
EraseByX1OrX2(const StateSet &rStateSet)faudes::TaTransSet< Attr > [inline]
EraseByX2(Idx x2)faudes::TaTransSet< Attr > [inline]
EraseSet(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
Exists(const Transition &t) const faudes::TTransSet< Cmp > [inline]
Exists(Idx x1, Idx ev, Idx x2) const faudes::TTransSet< Cmp > [inline]
Exists(Idx x) const faudes::TTransSet< Cmp > [inline]
faudes::TBaseSet::Exists(const T &rElem) const faudes::TBaseSet< T, Cmp > [inline]
Find(Idx x1, Idx ev, Idx x2) const faudes::TTransSet< Cmp > [inline]
Find(const Transition &t) const faudes::TTransSet< Cmp > [inline]
faudes::TBaseSet::Find(const T &rElem) const faudes::TBaseSet< T, Cmp > [inline]
FromString(const std::string &rString, const std::string &rLabel="", const Type *pContext=0)faudes::Type
Insert(Idx x1, Idx ev, Idx x2)faudes::TaTransSet< Attr > [inline]
Insert(const Transition &rTransition)faudes::TaTransSet< Attr > [inline]
Insert(const Transition &rTransition, const Attr &rAttr)faudes::TaTransSet< Attr > [inline]
faudes::TBaseSet::Insert(const T &rElem)faudes::TBaseSet< T, Cmp > [inline, virtual]
InsertSet(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
Iterator typedeffaudes::TTransSet< Cmp >
iterator typedeffaudes::TBaseSet< T, Cmp > [protected]
Lock(void) const faudes::TBaseSet< T, Cmp > [inline]
mAttributeMapfaudes::TaTransSet< Attr > [protected]
mDefAttributefaudes::TaTransSet< Attr > [inline, protected, static]
mEmptySetfaudes::TBaseSet< T, Cmp > [inline, protected, static]
mpSetfaudes::TBaseSet< T, Cmp > [protected]
Name(void) const faudes::TBaseSet< T, Cmp > [inline]
Name(const std::string &rName)faudes::TBaseSet< T, Cmp > [inline]
New(void) const faudes::TaTransSet< Attr > [inline, virtual]
operator!=(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator*(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator+(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator-(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator<(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator<=(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator=(const TaTransSet &rSrc)faudes::TaTransSet< Attr > [inline, virtual]
operator=(const TransSet &rSrc)faudes::TaTransSet< Attr > [inline, virtual]
faudes::TTransSet::operator=(const TTransSet &rSrc)faudes::TTransSet< Cmp > [inline, virtual]
faudes::TBaseSet::operator=(const TBaseSet &rSrc)faudes::TBaseSet< T, Cmp > [inline, virtual]
operator==(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
operator>=(const TBaseSet &rOtherSet) const faudes::TBaseSet< T, Cmp > [inline]
pSetfaudes::TBaseSet< T, Cmp > [protected]
Read(const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)faudes::Type
Read(TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)faudes::Type
ReSort(TTransSet< OtherCmp > &res) const faudes::TTransSet< Cmp > [inline]
RestrictSet(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
SetIntersection(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
SetUnion(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline, virtual]
Size(void) const faudes::TBaseSet< T, Cmp > [inline]
StateSpace(void) const faudes::TTransSet< Cmp > [inline]
StateSpaceX2(Idx x1) const faudes::TTransSet< Cmp > [inline]
StateSpaceX2(Idx x1, Idx ev) const faudes::TTransSet< Cmp > [inline]
Str(const Transition &rTrans) const faudes::TTransSet< Cmp > [inline]
TaTransSet classfaudes::TaTransSet< Attr > [friend]
TaTransSet(void)faudes::TaTransSet< Attr > [inline]
TaTransSet(const TaTransSet &rOtherSet)faudes::TaTransSet< Attr > [inline]
TaTransSet(const TTransSet< TransSort::X1EvX2 > &rOtherSet)faudes::TaTransSet< Attr > [inline]
TBaseSet(void)faudes::TBaseSet< T, Cmp > [inline]
TBaseSet(const TBaseSet &rOtherSet)faudes::TBaseSet< T, Cmp > [inline]
TBaseSet(const std::string &rFilename, const std::string &rLabel="BaseSet")faudes::TBaseSet< T, Cmp > [inline]
ThisIterator(const typename std::set< T, Cmp >::const_iterator &sit) const faudes::TBaseSet< T, Cmp > [inline, protected]
ToString(const std::string &rLabel="", const Type *pContext=0) const faudes::Type
TTransSet(void)faudes::TTransSet< Cmp > [inline]
TTransSet(const TBaseSet< Transition, Cmp > &rOtherSet)faudes::TTransSet< Cmp > [inline]
TTransSet(const TTransSet< OtherCmp > &res)faudes::TTransSet< Cmp > [inline]
Type(void)faudes::Type
Type(const Type &rType)faudes::Type
Valid(const T &rElem) const faudes::TBaseSet< T, Cmp > [inline, virtual]
Write(const Type *pContext=0) const faudes::Type
Write(const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const faudes::Type
Write(const std::string &pFileName, std::ios::openmode openmode) const faudes::Type
Write(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const faudes::Type
~TaTransSet()faudes::TaTransSet< Attr > [inline, virtual]
~TBaseSet(void)faudes::TBaseSet< T, Cmp > [inline, virtual]
~TTransSet()faudes::TTransSet< Cmp > [inline, virtual]
~Type(void)faudes::Type [virtual]

libFAUDES 2.13a c++ source docu by doxygen 1.5.6