template<class Attr>
class faudes::TaTransSet< Attr >
Set of Transitions with attributes.
This container class is derived from TTransSet to provide attributes as an additional feature. The template parameter specifies the attribute class, which in turn must provide some basic funtionality. In contrast to the TTransSet, the TaTransSet is restricted to standard ordering.
Note that it is the context of a Generator that actually allows to interpret a TaTransSet as a set of transitions as opposed to a set of triples of indices with attributes. In particular, file IO of transitions is provided by the generator class (although TaTransSet provides output functions for debugging)
Definition at line 1063 of file cfl_transset.h.
|
|
| | TaTransSet (void) |
| |
| | TaTransSet (const TaTransSet &rOtherSet) |
| |
| | TaTransSet (const TTransSet< TransSort::X1EvX2 > &rOtherSet) |
| |
| virtual | ~TaTransSet () |
| |
| virtual TaTransSet & | Copy (const TBaseSet< Transition, TransSort::X1EvX2 > &rSrc) |
| |
| virtual TaTransSet & | operator= (const TransSet &rSrc) |
| |
| | TTransSet (void) |
| |
| | TTransSet (const TTransSet< TransSort::X1EvX2 > &rOtherSet) |
| |
| | TTransSet (const TTransSet< OtherCmp > &res) |
| |
| virtual | ~TTransSet () |
| |
| bool | Insert (const Transition &rTransition) |
| |
| bool | Insert (Idx x1, Idx ev, Idx x2) |
| |
| Iterator | Inject (const Iterator &pos, const Transition &rTransition) |
| |
| void | Inject (const Transition &rTransition) |
| |
| bool | Erase (const Transition &t) |
| |
| bool | Erase (Idx x1, Idx ev, Idx x2) |
| |
| Iterator | Erase (const Iterator &it) |
| |
| void | EraseByX1 (Idx x1) |
| |
| void | EraseByX1Ev (Idx x1, Idx ev) |
| |
| void | EraseByX2 (Idx x2) |
| |
| void | EraseByEv (Idx ev) |
| |
| void | EraseByX1OrX2 (Idx x) |
| |
| void | EraseByX1OrX2 (const StateSet &rStates) |
| |
| void | RestrictStates (const StateSet &rStateSet) |
| |
| void | RestrictEvents (const EventSet &rEventSet) |
| |
| Iterator | Find (Idx x1, Idx ev, Idx x2) const |
| |
| Iterator | Find (const Transition &t) const |
| |
| bool | Exists (const Transition &t) const |
| |
| bool | Exists (Idx x1, Idx ev, Idx x2) const |
| |
| bool | ExistsByX1Ev (Idx x1, Idx ev) const |
| |
| bool | ExistsByX1 (Idx x1) const |
| |
| bool | ExistsByX1OrX2 (Idx x) const |
| |
| Iterator | Begin (void) const |
| |
| Iterator | Begin (Idx x1) const |
| |
| Iterator | Begin (Idx x1, Idx ev) const |
| |
| Iterator | End (void) const |
| |
| Iterator | End (Idx x1) const |
| |
| Iterator | End (Idx x1, Idx ev) const |
| |
| Iterator | BeginByEv (Idx ev) const |
| |
| Iterator | EndByEv (Idx ev) const |
| |
| Iterator | BeginByEvX1 (Idx ev, Idx x1) const |
| |
| Iterator | EndByEvX1 (Idx ev, Idx x1) const |
| |
| Iterator | BeginByEvX2 (Idx ev, Idx x2) const |
| |
| Iterator | EndByEvX2 (Idx ev, Idx x2) const |
| |
| Iterator | BeginByX2 (Idx x2) const |
| |
| Iterator | EndByX2 (Idx x2) const |
| |
| Iterator | BeginByX2Ev (Idx x2, Idx ev) const |
| |
| Iterator | EndByX2Ev (Idx x2, Idx ev) const |
| |
| TTransSet< TransSort::X1EvX2 > | operator+ (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const |
| |
| TTransSet< TransSort::X1EvX2 > | operator- (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const |
| |
| TTransSet< TransSort::X1EvX2 > | operator* (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const |
| |
| void | ReSort (TTransSet< OtherCmp > &res) const |
| |
| StateSet | States (void) const |
| |
| StateSet | SuccessorStates (Idx x1) const |
| |
| StateSet | SuccessorStates (const StateSet &rX1Set) const |
| |
| StateSet | SuccessorStates (Idx x1, Idx ev) const |
| |
| StateSet | SuccessorStates (const StateSet &rX1Set, const EventSet &rEvSet) const |
| |
| StateSet | PredecessorStates (Idx x2) const |
| |
| StateSet | PredecessorStates (const StateSet &rX2Set) const |
| |
| StateSet | PredecessorStates (Idx x2, Idx ev) const |
| |
| StateSet | PredecessorStates (const StateSet &rX2Set, const EventSet &rEvSet) const |
| |
| EventSet | ActiveEvents (Idx x1, SymbolTable *pSymTab=NULL) const |
| |
| virtual std::string | Str (const Transition &rTrans) const |
| |
| virtual std::string | Str (void) const |
| |
| | TBaseSet (void) |
| |
| | TBaseSet (const TBaseSet &rOtherSet) |
| |
| | TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet") |
| |
| virtual | ~TBaseSet (void) |
| |
| virtual void | Clear (void) |
| |
| virtual bool | IsDefault (void) const |
| |
| Idx | Size (void) const |
| |
| bool | Empty (void) const |
| |
| virtual std::string | Str (const T &rElem) const |
| |
| Iterator | Begin (void) const |
| |
| Iterator | End (void) const |
| |
| virtual bool | Valid (const T &rElem) const |
| |
| virtual bool | Erase (const T &rElem) |
| |
| virtual void | EraseSet (const TBaseSet &rOtherSet) |
| |
| virtual void | RestrictSet (const TBaseSet &rOtherSet) |
| |
| virtual bool | Disjoint (const TBaseSet &rOtherSet) const |
| |
| virtual bool | Insert (const T &rElem) |
| |
| virtual Iterator | Inject (const Iterator &pos, const T &rElem) |
| |
| virtual void | Inject (const T &rElem) |
| |
| virtual void | InsertSet (const TBaseSet &rOtherSet) |
| |
| bool | Exists (const T &rElem) const |
| |
| Iterator | Find (const T &rElem) const |
| |
| TBaseSet | operator+ (const TBaseSet &rOtherSet) const |
| |
| TBaseSet | operator- (const TBaseSet &rOtherSet) const |
| |
| TBaseSet | operator* (const TBaseSet &rOtherSet) const |
| |
| bool | operator<= (const TBaseSet &rOtherSet) const |
| |
| bool | operator>= (const TBaseSet &rOtherSet) const |
| |
| bool | operator< (const TBaseSet &rOtherSet) const |
| |
| void | DValid (const std::string &rMessage="") const |
| |
| void | Detach (DetachMode flag=AttrIncl) const |
| |
| void | Lock (void) const |
| |
| virtual bool | AttributeTest (const Type &rAttr) const |
| |
| virtual TBaseSet & | CopyWithoutAttributes (const TBaseSet &rSourceSet) |
| |
| virtual void | Attributes (const TBaseSet &rOtherSet) |
| |
| Idx | AttributesSize (void) const |
| |
| void | ClearAttributes (void) |
| |
| bool | EqualAttributes (const TBaseSet &rOtherSet) const |
| |
| virtual AttributeVoid * | Attributep (const T &rElem) |
| |
| virtual const AttributeVoid & | Attribute (const T &rElem) const |
| |
| virtual void | Attribute (const T &rElem, const Type &rAttr) |
| |
| virtual void | AttributeTry (const T &rElem, const Type &rAttr) |
| |
| virtual void | ClrAttribute (const T &rElem) |
| |
| virtual void | FromStl (const std::set< T, Cmp > &rStlSet) |
| |
| virtual void | ToStl (std::set< T, Cmp > &rStlSet) const |
| |
| | ExtType (void) |
| |
| | ExtType (const ExtType &rType) |
| |
| virtual | ~ExtType (void) |
| |
| const std::string & | Name (void) const |
| |
| void | Name (const std::string &rName) |
| |
| virtual const std::string & | TypeName (void) const |
| |
| virtual void | TypeName (const std::string &rType) |
| |
| virtual const std::string & | ElementTag (void) const |
| |
| virtual void | ElementTag (const std::string &rTag) |
| |
| virtual const std::string & | ElementType (void) const |
| |
| virtual const TypeDefinition * | TypeDefinitionp (void) const |
| |
| Type & | operator= (const Type &rSrc) |
| |
| Type & | operator= (Type &&rSrc) |
| |
| bool | operator== (const Type &rOther) const |
| |
| bool | operator!= (const Type &rOther) const |
| |
| | AttrType (void) |
| |
| | AttrType (const AttrType &rSrc) |
| |
| virtual | ~AttrType (void) |
| |
| Type & | operator= (const Type &rSrc) |
| |
| Type & | operator= (Type &&rSrc) |
| |
| bool | operator== (const Type &rOther) const |
| |
| bool | operator!= (const Type &rOther) const |
| |
| | Type (void) |
| |
| | Type (const Type &rType) |
| |
| virtual | ~Type (void) |
| |
| virtual Type * | New (void) const |
| |
| virtual Type * | NewCpy (void) const |
| |
| virtual const Type * | Cast (const Type *pOther) const |
| |
| virtual Type & | Copy (const Type &rSrc) |
| |
| virtual Type & | Move (Type &rSrc) |
| |
| Type & | operator= (const Type &rSrc) |
| |
| Type & | operator= (Type &&rSrc) |
| |
| virtual bool | Equal (const Type &rOther) const |
| |
| bool | operator== (const Type &rOther) const |
| |
| bool | operator!= (const Type &rOther) const |
| |
| void | Write (const Type *pContext=0) const |
| |
| void | Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
| |
| void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
| |
| void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
| |
| void | XWrite (const Type *pContext=0) const |
| |
| void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| |
| std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
| |
| std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
| |
| void | DWrite (const Type *pContext=0) const |
| |
| void | DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
| |
| void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| |
| void | SWrite (TokenWriter &rTw) const |
| |
| void | SWrite (void) const |
| |
| std::string | ToSText (void) const |
| |
| void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
| |
| void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
| |
| void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| |
| | TAttrMap (TBaseSet< Transition, TransSort::X1EvX2 > *pBaseSetRef) |
| |
| virtual | ~TAttrMap (void) |
| |
| void | CopyWithAttributes (const TBaseSet< Transition, TransSort::X1EvX2 > &rSourceSet) |
| |
| const Attr * | AttributeType (void) const |
| |
| Attr * | Attributep (const Transition &rElem) |
| |
| const Attr & | Attribute (const Transition &rElem) const |
| |
| void | Attribute (const Transition &rElem, const Type &attr) |
| |
| void | Attribute (const Transition &rElem, const Attr &attr) |
| |
| void | AttributeTry (const Transition &rElem, const Type &attr) |
| |
| bool | Insert (const Transition &rElem) |
| |
| bool | Insert (const Transition &rElem, const Attr &attr) |
| |
| void | InsertSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| |
| bool | Erase (const Transition &rElem) |
| |
| TBaseSet< Transition, TransSort::X1EvX2 >::Iterator | Erase (const typename TBaseSet< Transition, TransSort::X1EvX2 >::Iterator &pos) |
| |
| void | EraseSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| |
| void | RestrictSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| |
|
| void | DoCopy (const TaTransSet &rSource) |
| |
| void | DoMove (TaTransSet &rSource) |
| |
| void | DoCopy (const TTransSet &rSource) |
| |
| void | DoMove (TTransSet &rSource) |
| |
| virtual void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | DoWriteElement (TokenWriter &rTw, const T &rElem, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | DoXWriteElement (TokenWriter &rTw, const T &rElem, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | DoDWriteElement (TokenWriter &rTw, const T &rElem, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | DoReadElement (TokenReader &rTr, T &rElem, const std::string &rLabel, const Type *pContext) |
| |
| virtual void | DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| |
| virtual void | DoSWrite (TokenWriter &rTw) const |
| |
| virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| |
| void | DoCopy (const TBaseSet &rSourceSet) |
| |
| void | DoMove (TBaseSet &rSourceSet) |
| |
| bool | DoEqual (const TBaseSet &rOtherSet) const |
| |
| void | DoAttribute (const T &rElem, const Type *pAttr) |
| |
| const AttributeVoid * | DoAttribute (const T &rElem) const |
| |
| AttributeVoid * | DoAttributeExplicit (const T &rElem) |
| |
| TBaseSet< T, Cmp >::Iterator | ThisIterator (const typename std::set< T, Cmp >::const_iterator &sit) const |
| |
| void | RelinkClients (void) |
| |
| void | AttachClient (TBaseSet *pRef) const |
| |
| void | DetachClient (TBaseSet *pRef) const |
| |
| void | AttachIterator (Iterator *pFit) const |
| |
| void | DetachIterator (Iterator *pFit) const |
| |
| void | DoCopy (const AttrType &rSrc) |
| |
| bool | DoEqual (const AttrType &rOther) const |
| |
| void | DoCopy (const Type &rSrc) |
| |
| void | DoMove (Type &rSrc) |
| |
| bool | DoEqual (const Type &rOther) const |
| |
| virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
| |