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 991 of file cfl_transset.h.

#include <cfl_transset.h>

Public Member Functions
Constructors & Destructor
	TaTransSet (void)
	Construct an empty TaTransSet object. More...

	TaTransSet (const TaTransSet &rOtherSet)
	Copy-constructor (incl attributes) More...

	TaTransSet (const TTransSet< TransSort::X1EvX2 > &rOtherSet)
	Copy-Constructor (set attributes to default) More...

virtual	~TaTransSet ()
	Virtual destructor. More...

virtual TaTransSet &	Assign (const TBaseSet< Transition, TransSort::X1EvX2 > &rSrc)
	Relaxed assignment method. More...

virtual TaTransSet &	operator= (const TransSet &rSrc)
	Relaxed assignment operator. More...

Public Member Functions inherited from faudes::TTransSet< TransSort::X1EvX2 >
	TTransSet (void)
	Construct an empty TTransSet object. More...

	TTransSet (const TTransSet< TransSort::X1EvX2 > &rOtherSet)
	Copy-constructor. More...

	TTransSet (const TTransSet< OtherCmp > &res)
	Re-Sort Copy-constructor. More...

virtual	~TTransSet ()
	Virtual destructor. More...

bool	Insert (const Transition &rTransition)
	Add a Transition. More...

bool	Insert (Idx x1, Idx ev, Idx x2)
	Add a Transition by indices. More...

Iterator	Inject (const Iterator &pos, const Transition &rTransition)
	Add a Transition. More...

void	Inject (const Transition &rTransition)
	Add a Transition. More...

bool	Erase (const Transition &t)
	Remove a Transition. More...

bool	Erase (Idx x1, Idx ev, Idx x2)
	Remove a Transition by x1, ev, x2. More...

Iterator	Erase (const Iterator &it)
	Remove a Transition by iterator. More...

void	EraseByX1 (Idx x1)
	Remove all transitions containing predecessor state x1. More...

void	EraseByX1Ev (Idx x1, Idx ev)
	Remove all transitions containing predecessor state x1 and event ev. More...

void	EraseByX2 (Idx x2)
	Remove all transitions containing successor state x2. More...

void	EraseByEv (Idx ev)
	Remove all transitions containing event ev. More...

void	EraseByX1OrX2 (Idx x)
	Remove all transitions containing state x, This function iterates over all transitions to work with any sorting. More...

void	EraseByX1OrX2 (const StateSet &rStates)
	Remove all transitions containing a specified state. More...

void	RestrictStates (const StateSet &rStateSet)
	Restrict to transitions with states as specified. More...

void	RestrictEvents (const EventSet &rEventSet)
	Restrict to transitions with events as specified. More...

Iterator	Find (Idx x1, Idx ev, Idx x2) const
	Find transition given by x1, ev, x2. More...

Iterator	Find (const Transition &t) const
	Find specified transition. More...

bool	Exists (const Transition &t) const
	Test existence. More...

bool	Exists (Idx x1, Idx ev, Idx x2) const
	Test existence. More...

bool	ExistsByX1Ev (Idx x1, Idx ev) const
	Test existence. More...

bool	ExistsByX1 (Idx x1) const
	Test existence. More...

bool	ExistsByX1OrX2 (Idx x) const
	Tests if a transition with specified predecessor or successor state exists. More...

Iterator	Begin (void) const
	Iterator to begin of set. More...

Iterator	Begin (Idx x1) const
	Iterator to first Transition specified by current state. More...

Iterator	Begin (Idx x1, Idx ev) const
	Iterator to first Transitions specified by current state and event. More...

Iterator	End (void) const
	Iterator to end of set. More...

Iterator	End (Idx x1) const
	Iterator to end or Transitions with specified current state. More...

Iterator	End (Idx x1, Idx ev) const
	Iterator to first Transition after spcified current state and event. More...

Iterator	BeginByEv (Idx ev) const
	Iterator to first Transition specified by event. More...

Iterator	EndByEv (Idx ev) const
	Iterator to first Transition after specified by event. More...

Iterator	BeginByEvX1 (Idx ev, Idx x1) const
	Iterator to first Transition specified by event and current state. More...

Iterator	EndByEvX1 (Idx ev, Idx x1) const
	Iterator to first Transition after specified ev and current state. More...

Iterator	BeginByEvX2 (Idx ev, Idx x2) const
	Iterator to first Transition specified by event and next state. More...

Iterator	EndByEvX2 (Idx ev, Idx x2) const
	Iterator to first Transition after specified event and next state. More...

Iterator	BeginByX2 (Idx x2) const
	Iterator to first Transition specified by successor state x2. More...

Iterator	EndByX2 (Idx x2) const
	Iterator to first Transition after specified successor state x2. More...

Iterator	BeginByX2Ev (Idx x2, Idx ev) const
	Iterator to first Transition specified by successor x2 and ev. More...

Iterator	EndByX2Ev (Idx x2, Idx ev) const
	Iterator to first Transition after specified successor x2 and ev. More...

TTransSet< TransSort::X1EvX2 >	operator+ (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const
	Set union operator. More...

TTransSet< TransSort::X1EvX2 >	operator- (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const
	Set difference operator. More...

TTransSet< TransSort::X1EvX2 >	operator* (const TTransSet< TransSort::X1EvX2 > &rOtherSet) const
	Set intersection operator. More...

void	ReSort (TTransSet< OtherCmp > &res) const
	Get copy of trantision relation sorted by other compare operator, e.g. More...

StateSet	States (void) const
	Get state set covered by transition set. More...

StateSet	SuccessorStates (Idx x1) const
	Get set of successor states for specified current state. More...

StateSet	SuccessorStates (const StateSet &rX1Set) const
	Get set of successor states for specified current states. More...

StateSet	SuccessorStates (Idx x1, Idx ev) const
	Get set of successor states for specified current state and event. More...

StateSet	SuccessorStates (const StateSet &rX1Set, const EventSet &rEvSet) const
	Get set of successor states for specified current states and events. More...

EventSet	ActiveEvents (Idx x1, SymbolTable *pSymTab=NULL) const
	Get set of events that are active for a specified current state Since a transition set does not refer to a SymbolTable, this function returns a set of plain indices. More...

std::string	Str (const Transition &rTrans) const
	Return pretty printable string representation. More...

Public Member Functions inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
	TBaseSet (void)
	Constructor. More...

	TBaseSet (const TBaseSet &rOtherSet)
	Copy-constructor. More...

	TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet")
	Constructor from file. More...

virtual	~TBaseSet (void)
	Virtual destructor. More...

const std::string &	Name (void) const
	Return name of TBaseSet. More...

void	Name (const std::string &rName)
	Set name of TBaseSet. More...

virtual void	Clear (void)
	Clear all set. More...

Idx	Size (void) const
	Get Size of TBaseSet. More...

bool	Empty (void) const
	Test whether if the TBaseSet is Empty. More...

virtual std::string	Str (const Transition &rElem) const
	Return pretty printable element. More...

Iterator	Begin (void) const
	Iterator to the begin of set. More...

Iterator	End (void) const
	Iterator to the end of set. More...

virtual bool	Valid (const Transition &rElem) const
	Test validty of candidate element. More...

virtual bool	Erase (const Transition &rElem)
	Erase element by reference. More...

virtual void	EraseSet (const TBaseSet &rOtherSet)
	Erase elements given by other set. More...

virtual void	RestrictSet (const TBaseSet &rOtherSet)
	Restrict elements given by other set. More...

virtual bool	Disjoint (const TBaseSet &rOtherSet) const
	Test for this set to be disjoint witg other set. More...

virtual bool	Insert (const Transition &rElem)
	Insert specified element. More...

virtual Iterator	Inject (const Iterator &pos, const Transition &rElem)
	Insert specified element. More...

virtual void	Inject (const Transition &rElem)
	Insert specified element. More...

virtual void	InsertSet (const TBaseSet &rOtherSet)
	Insert elements given by rOtherSet. More...

bool	Exists (const Transition &rElem) const
	Test existence of element. More...

Iterator	Find (const Transition &rElem) const
	Find element and return iterator. More...

TBaseSet	operator+ (const TBaseSet &rOtherSet) const
	Set union operator. More...

TBaseSet	operator- (const TBaseSet &rOtherSet) const
	Set difference operator. More...

TBaseSet	operator* (const TBaseSet &rOtherSet) const
	Set intersection operator. More...

bool	operator<= (const TBaseSet &rOtherSet) const
	Test for subset More...

bool	operator>= (const TBaseSet &rOtherSet) const
	Test for superset. More...

bool	operator< (const TBaseSet &rOtherSet) const
	Order for sorting containers of TBaseSet. More...

void	DValid (const std::string &rMessage="") const
	Some validation of deferred copy mechanism (provoke abort) More...

void	Detach (DetachMode flag=AttrIncl) const

void	Lock (void) const
	Detach and lock any further reallocation. More...

virtual bool	AttributeTest (const Type &rAttr) const
	Attribute typeinfo. More...

virtual TBaseSet &	AssignWithoutAttributes (const TBaseSet &rSourceSet)
	Attribute access. More...

virtual void	Attributes (const TBaseSet &rOtherSet)
	Attributes access. More...

Idx	AttributesSize (void) const
	Attribute access. More...

void	ClearAttributes (void)
	Attribute access. More...

bool	EqualAttributes (const TBaseSet &rOtherSet) const
	Attribute access. More...

virtual AttributeVoid *	Attributep (const Transition &rElem)
	Attribute access. More...

virtual const AttributeVoid &	Attribute (const Transition &rElem) const
	Attribute access. More...

virtual void	Attribute (const Transition &rElem, const Type &rAttr)
	Attribute access. More...

virtual void	ClrAttribute (const Transition &rElem)
	Attribute access. More...

virtual void	XElementTag (const std::string &rTag)
	Configure the element name tag. More...

virtual const std::string &	TypeName (void) const
	Get objects's type name. More...

virtual void	TypeName (const std::string &rType)
	Overwrite faudes-type name. More...

Public Member Functions inherited from faudes::Type
	Type (void)
	Constructor. More...

	Type (const Type &rType)
	Copy constructor. More...

virtual	~Type (void)
	Destructor. More...

virtual Type *	New (void) const
	Construct on heap. More...

virtual Type *	Copy (void) const
	Construct on heap. More...

virtual const Type *	Cast (const Type *pOther) const
	Cast other object to this type. More...

virtual Type &	Assign (const Type &rSrc)
	Assign configuration data from other object. More...

virtual Type &	operator= (const Type &rSrc)
	Assign configurationdata from other object. More...

virtual bool	Equal (const Type &rOther) const
	Test equality of configuration data. More...

virtual bool	operator== (const Type &rOther) const
	Test equality of configuration data. More...

virtual bool	operator!= (const Type &rOther) const
	Test equality of configuration data. More...

void	Write (const Type *pContext=0) const
	Write configuration data to console. More...

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
	Write configuration data to a file. More...

void	Write (const std::string &pFileName, std::ios::openmode openmode) const
	Write configuration data to a file. More...

void	Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to TokenWriter. More...

virtual void	XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to an XML file. More...

void	XWrite (const Type *pContext=0) const
	Write configuration data in XML format to concole Note: this write function uses the virtual function DoXWrite(), to be reimplemented by derived classes. More...

void	XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data in XML format to TokenWriter. More...

std::string	ToString (const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to a string. More...

std::string	ToText (const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data to a formated string. More...

void	DWrite (const Type *pContext=0) const
	Write configuration data to console, debugging format. More...

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
	Write configuration data to a file, debugging format. More...

void	DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data in debug format to TokenWriter. More...

void	SWrite (TokenWriter &rTw) const
	Write statistics comment to TokenWriter. More...

void	SWrite (void) const
	Write statistics comment to console. More...

std::string	ToSText (void) const
	Write statistics to a string. More...

void	Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)
	Read configuration data from file with label specified. More...

void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)
	Read configuration data from a string. More...

void	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
	Read configuration data from TokenReader with label sepcified. More...

Public Member Functions inherited from faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
	TAttrMap (TBaseSet< Transition, TransSort::X1EvX2 > *pBaseSetRef)
	Constructor. More...

virtual	~TAttrMap (void)
	Virtual destructor. More...

void	AssignWithAttributes (const TBaseSet< Transition, TransSort::X1EvX2 > &rSourceSet)
	Copy from a TBaseSet to the associated TBaseSet, with attributes, provided that they can be casted accordingly. More...

const Attr *	AttributeType (void) const
	Attribute typeinfo. More...

Attr *	Attributep (const Transition &rElem)
	Get attribute reference by element. More...

const Attr &	Attribute (const Transition &rElem) const
	Get attribute by element. More...

void	Attribute (const Transition &rElem, const Type &attr)
	Set attribute. More...

void	Attribute (const Transition &rElem, const Attr &attr)
	Set attribute. More...

void	AttributeTry (const Transition &rElem, const Type &attr)
	Set attribute. More...

bool	Insert (const Transition &rElem)
	Insert element. More...

bool	Insert (const Transition &rElem, const Attr &attr)
	Insert element with attribute. More...

void	InsertSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
	Inserts elements from rOtherSet. More...

bool	Erase (const Transition &rElem)
	Erase Element (incl its attribute) More...

TBaseSet< Transition, TransSort::X1EvX2 >::Iterator	Erase (const typename TBaseSet< Transition, TransSort::X1EvX2 >::Iterator &pos)
	Erase element by iterator (incl attribute) More...

void	EraseSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
	Erase elements given by other set. More...

void	RestrictSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
	Restrict to specified subset. More...

Protected Member Functions
void	DoAssign (const TaTransSet &rSource)
	Assign my members. More...

Protected Member Functions inherited from faudes::TTransSet< TransSort::X1EvX2 >
void	DoAssign (const TTransSet &rSource)
	Assign my members. More...

virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write to TokenWriter, see Type::Write for public wrappers. More...

Protected Member Functions inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
virtual const std::string &	XElementTag (void) const
	Get name of elements (used for XML IO) More...

virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Token output, debugging see Type::DWrite for public wrappers. More...

virtual void	DoSWrite (TokenWriter &rTw) const
	Token output, see Type::SWrite for public wrappers. More...

virtual void	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
	Token input, see Type::Read for public wrappers. More...

void	DoAssign (const TBaseSet &rSourceSet)
	assign my members More...

bool	DoEqual (const TBaseSet &rOtherSet) const
	test equality More...

void	DoAttribute (const Transition &rElem, const Type *pAttr)
	set attribute in map (assume elem exists in set, NULL <=> set to default) More...

const AttributeVoid *	DoAttribute (const Transition &rElem) const
	get attribute from map (return null if elem does not exist in map) More...

AttributeVoid *	DoAttributeExplicit (const Transition &rElem)
	get attribute from map (insert explicit default if elem does not exist in map) More...

TBaseSet< Transition, TransSort::X1EvX2 >::Iterator	ThisIterator (const typename std::set< Transition, TransSort::X1EvX2 >::const_iterator &sit) const
	Convert STL iterator to API iterator. More...

void	RelinkClients (void)
	Ensure that we do not host contents to anyone else. More...

void	AttachClient (TBaseSet *pRef) const
	Record that we provide contents to some other BaseSet. More...

void	DetachClient (TBaseSet *pRef) const
	Record that we stop providing data for some TBaseSet. More...

void	AttachIterator (Iterator *pFit) const
	Record that an iterator refers to this TBaseSet. More...

void	DetachIterator (Iterator *pFit) const
	Record that an iterator stops to refer to this TBaseSet. More...

virtual const TypeDefinition *	TypeDefinitionp (void) const
	Reimplment from type to use chache. More...

Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)
	Assign configuration data from other object. More...

bool	DoEqual (const Type &rOther) const
	Test equality of configuration data. More...

virtual void	DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
	Write configuration data of this object to TokenWriter in XML format. More...

virtual Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Accessing individual transitions
typedef TTransSet< TransSort::X1EvX2 >::Iterator	Iterator
	Iterator on transition. More...

bool	Insert (Idx x1, Idx ev, Idx x2)
	Add a Transition by indices. More...

bool	Insert (const Transition &rTransition)
	Add a Transition directly. More...

bool	Insert (const Transition &rTransition, const Attr &rAttr)
	Add a Transition with attribute. More...

virtual void	InsertSet (const TransSet &rOtherSet)
	Inserts elements of rOtherSet. More...

virtual void	InsertSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
	Inserts elements of rOtherSet. More...

bool	Erase (const Transition &t)
	Remove a Transition. More...

bool	Erase (Idx x1, Idx ev, Idx x2)
	Remove a Transition. More...

Iterator	Erase (const Iterator &it)
	Remove a Transition by iterator. More...

virtual void	EraseSet (const TransSet &rOtherSet)
	Inserts elements of rOtherSet. More...

virtual void	EraseSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
	Inserts elements of rOtherSet. More...

void	RestrictSet (const TransSet &rOtherSet)
	Restrict to specified subset. More...

void	RestrictSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet)
	Restrict to specified subset. More...

const Attr *	AttributeType (void) const
	resolve ambiguities from attribute interface ("using" wont do the job) More...

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)
	Attribute access. More...

Additional Inherited Members
Public Types inherited from faudes::TTransSet< TransSort::X1EvX2 >
typedef TBaseSet< Transition, TransSort::X1EvX2 >::Iterator	Iterator
	Iterator on transition. More...

Public Types inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
enum	DetachMode
	Detach from extern storage (incl allocation and true copy) More...

Protected Types inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
typedef std::set< Transition, TransSort::X1EvX2 >::iterator	iterator
	STL iterator, non-const version. More...

typedef std::set< Transition, TransSort::X1EvX2 >::const_iterator	const_iterator
	STL iterator, const version. More...

typedef std::map< Transition, AttributeVoid * >::iterator	aiterator
	STL attribute iterator, non-const version. More...

typedef std::map< Transition, AttributeVoid * >::const_iterator	const_aiterator
	STL attribute iterator, const version. More...

Protected Types inherited from faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
typedef TBaseSet< Transition, TransSort::X1EvX2 >::iterator	iterator
	use TBaseSet STL iterators More...

typedef TBaseSet< Transition, TransSort::X1EvX2 >::const_iterator	const_iterator
	use TBaseSet STL iterators More...

typedef TBaseSet< Transition, TransSort::X1EvX2 >::aiterator	aiterator
	use TBaseSet STL iterators More...

typedef TBaseSet< Transition, TransSort::X1EvX2 >::const_aiterator	const_aiterator
	use TBaseSet STL iterators More...

Protected Attributes inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
std::string	mMyName
	Name of this BaseSet. More...

std::set< Transition, TransSort::X1EvX2 > *	pSet
	Pointer on STL set to operate on. More...

std::set< Transition, TransSort::X1EvX2 > *	mpSet
	STL set, if this object hosts data (else NULL) More...

std::map< Transition, AttributeVoid * > *	pAttributes
	Pointer to attribute map to operate on. More...

std::map< Transition, AttributeVoid * > *	mpAttributes
	Attribute map, if this object hosts data (else NULL). More...

TBaseSet< Transition, TransSort::X1EvX2 > *	pHostSet
	Pointer on BaseSet that hosts our data (THIS if we host) More...

std::list< TBaseSet< Transition, TransSort::X1EvX2 > * >::iterator	mClientRecord
	Iterator to the client list that hosts our data (maintained by host) More...

std::list< TBaseSet< Transition, TransSort::X1EvX2 > * > *	mpClients
	BaseSets, that use data hosted by us (NULL if we dont host data, emptyset if we host to ourself excl.) More...

bool	mDetached
	Indicate "hosts data to myself only". More...

bool	mLocked
	Indicate "dont re-allocate the STL set ever again". More...

std::set< Iterator * >	mIterators
	Iterators that refer to this TBaseSet. More...

Protected Attributes inherited from faudes::TAttrMap< Transition, Attr, TransSort::X1EvX2 >
TBaseSet< Transition, TransSort::X1EvX2 > *	pBaseSet
	reference to associated TBaseSet More...

Static Protected Attributes inherited from faudes::TBaseSet< Transition, TransSort::X1EvX2 >
static std::set< Transition, TransSort::X1EvX2 >	msEmptySet
	static empty STL set for default constructor More...

static std::map< Transition, AttributeVoid * >	msEmptyAttributes
	static empty STL map for default constructor More...

Member Typedef Documentation

◆ Iterator

template<class Attr >

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

Iterator on transition.

doxygen group

Definition at line 1045 of file cfl_transset.h.

Constructor & Destructor Documentation

◆ TaTransSet() [1/3]

template<class Attr >

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

Construct an empty TaTransSet object.

doxygen group

Definition at line 1864 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 1872 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 1882 of file cfl_transset.h.

◆ ~TaTransSet()

template<class Attr >

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

inlinevirtual

Virtual destructor.

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

◆ Attribute() [1/3]

template<class Attr >

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

inline

Definition at line 1189 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 1190 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 1191 of file cfl_transset.h.

◆ Attributep()

template<class Attr >

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

inline

Definition at line 1188 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 1192 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 1187 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

Returns: Ref to this set

Definition at line 1892 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 1971 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 1959 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 1964 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 1989 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 1983 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 1919 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 1932 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 1925 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 1944 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 1938 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 1035 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 2010 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 2003 of file cfl_transset.h.

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

cfl_transset.h

Detailed Description

template<class Attr> class faudes::TaTransSet< Attr >

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]

template<class Attr>
class faudes::TaTransSet< Attr >