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 1056 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 TaTransSet &	Assign (const TBaseSet< Transition, TransSort::X1EvX2 > &rSrc)

virtual TaTransSet &	operator= (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::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

Public Member Functions inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
	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 Transition &rElem) const

Iterator	Begin (void) const

Iterator	End (void) const

virtual bool	Valid (const Transition &rElem) const

virtual bool	Erase (const Transition &rElem)

virtual void	EraseSet (const TBaseSet &rOtherSet)

virtual void	RestrictSet (const TBaseSet &rOtherSet)

virtual bool	Disjoint (const TBaseSet &rOtherSet) const

virtual bool	Insert (const Transition &rElem)

virtual Iterator	Inject (const Iterator &pos, const Transition &rElem)

virtual void	Inject (const Transition &rElem)

virtual void	InsertSet (const TBaseSet &rOtherSet)

bool	Exists (const Transition &rElem) const

Iterator	Find (const Transition &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 &	AssignWithoutAttributes (const TBaseSet &rSourceSet)

virtual void	Attributes (const TBaseSet &rOtherSet)

Idx	AttributesSize (void) const

void	ClearAttributes (void)

bool	EqualAttributes (const TBaseSet &rOtherSet) const

virtual void	ClrAttribute (const Transition &rElem)

virtual void	FromStl (const std::set< Transition, TransSort::X1EvX2 > &rStlSet)

virtual void	ToStl (std::set< Transition, TransSort::X1EvX2 > &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 TypeDefinition *	TypeDefinitionp (void) const

Type &	operator= (const 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)

Type &	operator= (const 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 Type *	New (void) const

virtual Type *	Copy (void) const

virtual const Type *	Cast (const Type *pOther) const

virtual Type &	Assign (const Type &rSrc)

Type &	operator= (const 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	AssignWithAttributes (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	DoAssign (const TaTransSet &rSource)

Protected Member Functions inherited from faudes::TTransSet< TransSort::X1EvX2 >
void	DoAssign (const TTransSet &rSource)

virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

Protected Member Functions inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
virtual void	DoWriteElement (TokenWriter &rTw, const Transition &rElem, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoXWriteElement (TokenWriter &rTw, const Transition &rElem, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoDWriteElement (TokenWriter &rTw, const Transition &rElem, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoReadElement (TokenReader &rTr, Transition &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	DoAssign (const TBaseSet &rSourceSet)

bool	DoEqual (const TBaseSet &rOtherSet) const

void	DoAttribute (const Transition &rElem, const Type *pAttr)

const AttributeVoid *	DoAttribute (const Transition &rElem) const

AttributeVoid *	DoAttributeExplicit (const Transition &rElem)

TBaseSet< Transition, TransSort::X1EvX2 >::Iterator	ThisIterator (const typename std::set< Transition, TransSort::X1EvX2 >::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	DoAssign (const AttrType &rSrc)

bool	DoEqual (const AttrType &rOther) const

Protected Member Functions inherited from faudes::Type
void	DoAssign (const 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< Transition, TransSort::X1EvX2 >
enum	DetachMode

typedef Iterator	CIterator

Static Public Member Functions inherited from faudes::AttrType
static void	Skip (TokenReader &rTr)

Protected Types inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
typedef std::set< Transition, TransSort::X1EvX2 >::iterator	iterator

typedef std::set< Transition, TransSort::X1EvX2 >::const_iterator	const_iterator

typedef std::map< Transition, AttributeVoid * >::iterator	aiterator

typedef std::map< Transition, 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< Transition, TransSort::X1EvX2 >
static std::set< Transition, TransSort::X1EvX2 > *	GlobalEmptySet (void)

static std::map< Transition, AttributeVoid * > *	GlobalEmptyAttributes (void)

Protected Attributes inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
std::set< Transition, TransSort::X1EvX2 > *	pSet

std::set< Transition, TransSort::X1EvX2 > *	mpSet

std::map< Transition, AttributeVoid * > *	pAttributes

std::map< Transition, AttributeVoid * > *	mpAttributes

TBaseSet< Transition, TransSort::X1EvX2 > *	pHostSet

std::list< TBaseSet< Transition, TransSort::X1EvX2 > * >::iterator	mClientRecord

std::list< TBaseSet< Transition, TransSort::X1EvX2 > * > *	mpClients

bool	mDetached

bool	mLocked

std::set< Iterator * >	mIterators

std::set< Transition, TransSort::X1EvX2 > *	pGes

std::map< Transition, 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 1114 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 2056 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 2064 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 2074 of file cfl_transset.h.

◆ ~TaTransSet()

template<class Attr >

virtual faudes::TaTransSet< Attr >::~TaTransSet ( )

inlinevirtual

Virtual destructor

Definition at line 1084 of file cfl_transset.h.

Member Function Documentation

◆ Assign()

template<class Attr >

TaTransSet< Attr > & faudes::TaTransSet< Attr >::Assign ( const TBaseSet< Transition, TransSort::X1EvX2 > & rSrc )

virtual

Relaxed assignment method.

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

Parameters

rSrc	Source from which to assign

Returns: Ref to this set

Definition at line 2090 of file cfl_transset.h.

◆ Attribute() [1/3]

template<class Attr >

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

inlinevirtual

Attribute access. This virtual function provides an interface for derived classes with attributes eg TaIndexSet. The TBaseSet has no attributes and thus returns a void attribute. Derived classes that provide attributes are meant to return the attribute specified by rElem.

Parameters

rElem Element of which the attribute is requested

Returns: Attribute of specified element

Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.

Definition at line 1258 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 1259 of file cfl_transset.h.

◆ Attribute() [3/3]

template<class Attr >

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

inlinevirtual

Attribute access. This virtual function provides an interface for derived classes with attributes eg TaIndexSet. The TBaseSet itself has void attributes and thus formally accepts any nontrivial attribute, however, ignoring any value. Derived classes that provide attributes are meant to set the attribute as specified. Only if the required cast to the actual attribute type fails an exception is thrown.

Parameters

rElem	Element of which the attribute is to be set
rAttr	Attribute value to set.

Exceptions

Exception

Element does not exist (60)
Cannot cast attribute type (63)

Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.

Definition at line 1260 of file cfl_transset.h.

◆ Attributep()

template<class Attr >

Attr * faudes::TaTransSet< Attr >::Attributep ( const Transition & rElem )

inlinevirtual

Attribute access. This virtual function provides an interface for derived classes with attributes eg TaIndexSet. The TBaseSet has no attributes and thus throws an exception. Derived classes that provide attributes are meant to return a pointer to the attribute specified by rElem.

Parameters

rElem Element of which the attribute is requested

Returns: Attribute of specified element

Exceptions

Exception

No attributes provided (id 63)

Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.

Definition at line 1257 of file cfl_transset.h.

◆ AttributeTry()

template<class Attr >

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

inlinevirtual

Attribute access. This virtual function provides an interface for derived classes with attributes eg TaIndexSet. It is meant to try to set the attribute as specified if the type can be casted. Otherwise it does nothing.

Parameters

rElem	Element of which the attribute is to be set
rAttr	Attribute value to set.

Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.

Definition at line 1261 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< Transition, TransSort::X1EvX2 >.

Definition at line 1256 of file cfl_transset.h.

◆ DoAssign()

template<class Attr >

void faudes::TaTransSet< Attr >::DoAssign ( const TaTransSet< Attr > & rSource )

protected

Assign my members. Maintain attributes.

Parameters

rSource Source to copy from

Definition at line 2084 of file cfl_transset.h.

◆ Erase() [1/3]

template<class Attr >

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

virtual

Remove a Transition by iterator

Returns: Iterator to next transition

Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.

Definition at line 2163 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 2151 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 2156 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

rOtherSet Other IndexSet

Exceptions

Exception

cast failed (id 67)

Definition at line 2181 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

rOtherSet Other IndexSet

Definition at line 2175 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

rTransition Reference to transition object

Returns: True if the transition was new to the set

Definition at line 2111 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

rTransition	Reference to transition object
rAttr	Reference to attribute

Returns: True if the transition was new to the set

Definition at line 2124 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

x1	Predecessor state
ev	Event
x2	Successor state

Returns: True if the transition was new to the set

Definition at line 2117 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

rOtherSet Other IndexSet

Exceptions

Exception

cast failed (id 67)

Definition at line 2136 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

rOtherSet Other IndexSet

Definition at line 2130 of file cfl_transset.h.

◆ operator=()

template<class Attr >

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

inlinevirtual

Relaxed assignment operator.

Parameters

rSrc	Source from which to assign

Returns: Ref to this set

Definition at line 1104 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

rOtherSet Elements to erase

Definition at line 2202 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

rOtherSet Elements to erase

Definition at line 2195 of file cfl_transset.h.

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

cfl_transset.h

Detailed Description

Public Member Functions

Protected Member Functions

Accessing individual transitions

Additional Inherited Members

Member Typedef Documentation

◆ Iterator

Constructor & Destructor Documentation

◆ TaTransSet() [1/3]

◆ TaTransSet() [2/3]

◆ TaTransSet() [3/3]

◆ ~TaTransSet()

Member Function Documentation

◆ Assign()

◆ Attribute() [1/3]

◆ Attribute() [2/3]

◆ Attribute() [3/3]

◆ Attributep()

◆ AttributeTry()

◆ AttributeType()

◆ DoAssign()

◆ Erase() [1/3]

◆ Erase() [2/3]

◆ Erase() [3/3]

◆ EraseSet() [1/2]

◆ EraseSet() [2/2]

◆ Insert() [1/3]

◆ Insert() [2/3]

◆ Insert() [3/3]

◆ InsertSet() [1/2]

◆ InsertSet() [2/2]

◆ operator=()

◆ RestrictSet() [1/2]

◆ RestrictSet() [2/2]