faudes::TaTransSet< Attr > Class Template Reference

Detailed Description

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.

#include <cfl_transset.h>

Public Member Functions

Constructors & Destructor
 TaTransSet (void)
 
 TaTransSet (const TaTransSet &rOtherSet)
 
 TaTransSet (const TTransSet< TransSort::X1EvX2 > &rOtherSet)
 
virtual ~TaTransSet ()
 
virtual TaTransSetCopy (const TBaseSet< Transition, TransSort::X1EvX2 > &rSrc)
 
virtual TaTransSetoperator= (const TransSet &rSrc)
 
- Public Member Functions inherited from faudes::TTransSet< TransSort::X1EvX2 >
 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::X1EvX2operator+ (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const
 
TTransSet< TransSort::X1EvX2operator- (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const
 
TTransSet< TransSort::X1EvX2operator* (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
 
- Public Member Functions inherited from faudes::TBaseSet< T, Cmp >
 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 TBaseSetCopyWithoutAttributes (const TBaseSet &rSourceSet)
 
virtual void Attributes (const TBaseSet &rOtherSet)
 
Idx AttributesSize (void) const
 
void ClearAttributes (void)
 
bool EqualAttributes (const TBaseSet &rOtherSet) const
 
virtual AttributeVoidAttributep (const T &rElem)
 
virtual const AttributeVoidAttribute (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
 
- Public Member Functions inherited from faudes::ExtType
 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 TypeDefinitionTypeDefinitionp (void) const
 
Typeoperator= (const Type &rSrc)
 
Typeoperator= (Type &&rSrc)
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) const
 
- Public Member Functions inherited from faudes::AttrType
 AttrType (void)
 
 AttrType (const AttrType &rSrc)
 
virtual ~AttrType (void)
 
Typeoperator= (const Type &rSrc)
 
Typeoperator= (Type &&rSrc)
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) const
 
- Public Member Functions inherited from faudes::Type
 Type (void)
 
 Type (const Type &rType)
 
virtual ~Type (void)
 
virtual TypeNew (void) const
 
virtual TypeNewCpy (void) const
 
virtual const TypeCast (const Type *pOther) const
 
virtual TypeCopy (const Type &rSrc)
 
virtual TypeMove (Type &rSrc)
 
Typeoperator= (const Type &rSrc)
 
Typeoperator= (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)
 
- Public Member Functions inherited from faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
 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)
 

Protected Member Functions

void DoCopy (const TaTransSet &rSource)
 
void DoMove (TaTransSet &rSource)
 
- Protected Member Functions inherited from faudes::TTransSet< TransSort::X1EvX2 >
void DoCopy (const TTransSet &rSource)
 
void DoMove (TTransSet &rSource)
 
virtual void DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
- Protected Member Functions inherited from faudes::TBaseSet< T, Cmp >
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 AttributeVoidDoAttribute (const T &rElem) const
 
AttributeVoidDoAttributeExplicit (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
 
- Protected Member Functions inherited from faudes::AttrType
void DoCopy (const AttrType &rSrc)
 
bool DoEqual (const AttrType &rOther) const
 
- Protected Member Functions inherited from faudes::Type
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
 

Accessing individual transitions

typedef TTransSet< TransSort::X1EvX2 >::Iterator Iterator
 
bool Insert (Idx x1, Idx ev, Idx x2)
 
bool Insert (const Transition &rTransition)
 
bool Insert (const Transition &rTransition, const Attr &rAttr)
 
virtual void InsertSet (const TransSet &rOtherSet)
 
virtual void InsertSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
 
bool Erase (const Transition &t)
 
bool Erase (Idx x1, Idx ev, Idx x2)
 
Iterator Erase (const Iterator &it)
 
virtual void EraseSet (const TransSet &rOtherSet)
 
virtual void EraseSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
 
void RestrictSet (const TransSet &rOtherSet)
 
void RestrictSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
 
const Attr * AttributeType (void) const
 
Attr * Attributep (const Transition &rElem)
 
const Attr & Attribute (const Transition &rElem) const
 
void Attribute (const Transition &rElem, const Attr &rAttr)
 
void Attribute (const Transition &rElem, const Type &rAttr)
 
void AttributeTry (const Transition &rElem, const Type &rAttr)
 

Additional Inherited Members

- Public Types inherited from faudes::TTransSet< TransSort::X1EvX2 >
typedef TBaseSet< Transition, TransSort::X1EvX2 >::Iterator Iterator
 
- Public Types inherited from faudes::TBaseSet< T, Cmp >
enum  DetachMode { SetOnly , AttrIncl }
 
typedef Iterator CIterator
 
- Static Public Member Functions inherited from faudes::AttrType
static void Skip (TokenReader &rTr)
 
- Protected Types inherited from faudes::TBaseSet< T, Cmp >
typedef std::set< T, Cmp >::iterator iterator
 
typedef std::set< T, Cmp >::const_iterator const_iterator
 
typedef std::map< T, AttributeVoid * >::iterator aiterator
 
typedef std::map< T, AttributeVoid * >::const_iterator const_aiterator
 
- Protected Types inherited from faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
typedef TBaseSet< Transition, TransSort::X1EvX2 >::iterator iterator
 
typedef TBaseSet< Transition, TransSort::X1EvX2 >::const_iterator const_iterator
 
typedef TBaseSet< Transition, TransSort::X1EvX2 >::aiterator aiterator
 
typedef TBaseSet< Transition, TransSort::X1EvX2 >::const_aiterator const_aiterator
 
- Static Protected Member Functions inherited from faudes::TBaseSet< T, Cmp >
static std::set< T, Cmp > * GlobalEmptySet (void)
 
static std::map< T, AttributeVoid * > * GlobalEmptyAttributes (void)
 
- Protected Attributes inherited from faudes::TBaseSet< T, Cmp >
std::set< T, Cmp > * pSet
 
std::set< T, Cmp > * mpSet
 
std::map< T, AttributeVoid * > * pAttributes
 
std::map< T, AttributeVoid * > * mpAttributes
 
TBaseSet< T, Cmp > * pHostSet
 
std::list< TBaseSet< T, Cmp > * >::iterator mClientRecord
 
std::list< TBaseSet< T, Cmp > * > * mpClients
 
bool mDetached
 
bool mLocked
 
std::set< Iterator * > mIterators
 
std::set< T, Cmp > * pGes
 
std::map< T, AttributeVoid * > * pGea
 
- Protected Attributes inherited from faudes::ExtType
std::string mElementType
 
std::string mElementTagDef
 
std::string mObjectName
 
- Protected Attributes inherited from faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
TBaseSet< Transition, TransSort::X1EvX2 > * pBaseSet
 

Member Typedef Documentation

◆ Iterator

template<class Attr >
typedef TTransSet<TransSort::X1EvX2>::Iterator faudes::TaTransSet< Attr >::Iterator

doxygen group Iterator on transition

Definition at line 1121 of file cfl_transset.h.

Constructor & Destructor Documentation

◆ TaTransSet() [1/3]

template<class Attr >
faudes::TaTransSet< Attr >::TaTransSet ( void  )

doxygen group Construct an empty TaTransSet object

Definition at line 2079 of file cfl_transset.h.

◆ TaTransSet() [2/3]

template<class Attr >
faudes::TaTransSet< Attr >::TaTransSet ( const TaTransSet< Attr > &  rOtherSet)

Copy-constructor (incl attributes)

Definition at line 2087 of file cfl_transset.h.

◆ TaTransSet() [3/3]

template<class Attr >
faudes::TaTransSet< Attr >::TaTransSet ( const TTransSet< TransSort::X1EvX2 > &  rOtherSet)

Copy-Constructor (set attributes to default)

Definition at line 2097 of file cfl_transset.h.

◆ ~TaTransSet()

template<class Attr >
virtual faudes::TaTransSet< Attr >::~TaTransSet ( )
inlinevirtual

Virtual destructor

Definition at line 1091 of file cfl_transset.h.

Member Function Documentation

◆ Attribute() [1/3]

template<class Attr >
const Attr & faudes::TaTransSet< Attr >::Attribute ( const Transition rElem) const
inline

Definition at line 1265 of file cfl_transset.h.

◆ Attribute() [2/3]

template<class Attr >
void faudes::TaTransSet< Attr >::Attribute ( const Transition rElem,
const Attr &  rAttr 
)
inline

Definition at line 1266 of file cfl_transset.h.

◆ Attribute() [3/3]

template<class Attr >
void faudes::TaTransSet< Attr >::Attribute ( const Transition rElem,
const Type rAttr 
)
inline

Definition at line 1267 of file cfl_transset.h.

◆ Attributep()

template<class Attr >
Attr * faudes::TaTransSet< Attr >::Attributep ( const Transition rElem)
inline

Definition at line 1264 of file cfl_transset.h.

◆ AttributeTry()

template<class Attr >
void faudes::TaTransSet< Attr >::AttributeTry ( const Transition rElem,
const Type rAttr 
)
inline

Definition at line 1268 of file cfl_transset.h.

◆ AttributeType()

template<class Attr >
const Attr * faudes::TaTransSet< Attr >::AttributeType ( void  ) const
inlinevirtual

resolve ambiguities from attribute interface ("using" wont do the job)

Reimplemented from faudes::TBaseSet< T, Cmp >.

Definition at line 1263 of file cfl_transset.h.

◆ Copy()

template<class Attr >
TaTransSet< Attr > & faudes::TaTransSet< Attr >::Copy ( const TBaseSet< Transition, TransSort::X1EvX2 > &  rSrc)
virtual

Relaxed assignment method.

Runtime typecheck for TransSet, maintains attributes provided they can be casted.

Parameters
rSrcSource from which to assign
Returns
Ref to this set

Definition at line 2120 of file cfl_transset.h.

◆ DoCopy()

template<class Attr >
void faudes::TaTransSet< Attr >::DoCopy ( const TaTransSet< Attr > &  rSource)
protected

Copy my members. Maintain attributes.

Parameters
rSourceSource to copy from

Definition at line 2107 of file cfl_transset.h.

◆ DoMove()

template<class Attr >
void faudes::TaTransSet< Attr >::DoMove ( TaTransSet< Attr > &  rSource)
protected

Move my members. Maintain attributes.

Parameters
rSourceSource to copy from

Definition at line 2113 of file cfl_transset.h.

◆ Erase() [1/3]

template<class Attr >
TaTransSet< Attr >::Iterator faudes::TaTransSet< Attr >::Erase ( const Iterator it)

Remove a Transition by iterator

Returns
Iterator to next transition

Definition at line 2193 of file cfl_transset.h.

◆ Erase() [2/3]

template<class Attr >
bool faudes::TaTransSet< Attr >::Erase ( const Transition t)

Remove a Transition

Returns
True if transition did exist

Definition at line 2181 of file cfl_transset.h.

◆ Erase() [3/3]

template<class Attr >
bool faudes::TaTransSet< Attr >::Erase ( Idx  x1,
Idx  ev,
Idx  x2 
)

Remove a Transition

Returns
True if transition did exist

Definition at line 2186 of file cfl_transset.h.

◆ EraseSet() [1/2]

template<class Attr >
void faudes::TaTransSet< Attr >::EraseSet ( const TBaseSet< Transition, TransSort::X1EvX2 > &  rOtherSet)
virtual

Inserts elements of rOtherSet.

This variant uses a runtime cast to access attributes.

Parameters
rOtherSetOther IndexSet
Exceptions
Exception
  • cast failed (id 67)

Definition at line 2211 of file cfl_transset.h.

◆ EraseSet() [2/2]

template<class Attr >
void faudes::TaTransSet< Attr >::EraseSet ( const TransSet rOtherSet)
virtual

Inserts elements of rOtherSet.

Attributes of this set are maintained.

Parameters
rOtherSetOther IndexSet

Definition at line 2205 of file cfl_transset.h.

◆ Insert() [1/3]

template<class Attr >
bool faudes::TaTransSet< Attr >::Insert ( const Transition rTransition)

Add a Transition directly. If the transition already exists, the attribute is maintained. Otherwise, the transition is inserted with default attribute.

Parameters
rTransitionReference to transition object
Returns
True if the transition was new to the set

Definition at line 2141 of file cfl_transset.h.

◆ Insert() [2/3]

template<class Attr >
bool faudes::TaTransSet< Attr >::Insert ( const Transition rTransition,
const Attr &  rAttr 
)

Add a Transition with attribute.

Parameters
rTransitionReference to transition object
rAttrReference to attribute
Returns
True if the transition was new to the set

Definition at line 2154 of file cfl_transset.h.

◆ Insert() [3/3]

template<class Attr >
bool faudes::TaTransSet< Attr >::Insert ( Idx  x1,
Idx  ev,
Idx  x2 
)

Add a Transition by indices

Parameters
x1Predecessor state
evEvent
x2Successor state
Returns
True if the transition was new to the set

Definition at line 2147 of file cfl_transset.h.

◆ InsertSet() [1/2]

template<class Attr >
void faudes::TaTransSet< Attr >::InsertSet ( const TBaseSet< Transition, TransSort::X1EvX2 > &  rOtherSet)
virtual

Inserts elements of rOtherSet.

This variant uses a runtime cast to access attributes.

Parameters
rOtherSetOther IndexSet
Exceptions
Exception
  • cast failed (id 67)

Definition at line 2166 of file cfl_transset.h.

◆ InsertSet() [2/2]

template<class Attr >
void faudes::TaTransSet< Attr >::InsertSet ( const TransSet rOtherSet)
virtual

Inserts elements of rOtherSet.

Attributes of this set are maintained, newly inserted elements attain the attribute from rOtherSet if it can be casted appropriately.

Parameters
rOtherSetOther IndexSet

Definition at line 2160 of file cfl_transset.h.

◆ operator=()

template<class Attr >
virtual TaTransSet & faudes::TaTransSet< Attr >::operator= ( const TransSet rSrc)
inlinevirtual

Relaxed assignment operator.

Parameters
rSrcSource from which to assign
Returns
Ref to this set

Definition at line 1111 of file cfl_transset.h.

◆ RestrictSet() [1/2]

template<class Attr >
void faudes::TaTransSet< Attr >::RestrictSet ( const TBaseSet< Transition, TransSort::X1EvX2 > &  rOtherSet)

Restrict to specified subset.

This variant uses a runtime cast to access attributes.

Parameters
rOtherSetElements to erase

Definition at line 2232 of file cfl_transset.h.

◆ RestrictSet() [2/2]

template<class Attr >
void faudes::TaTransSet< Attr >::RestrictSet ( const TransSet rOtherSet)

Restrict to specified subset.

Erases any elements no in the specified set. This function ignores the attributes of the other set and maintains the attributes of the remaining elements in this set.

Parameters
rOtherSetElements to erase

Definition at line 2225 of file cfl_transset.h.


The documentation for this class was generated from the following file:

libFAUDES 2.34e --- 2026.03.16 --- c++ api documentaion by doxygen