Detailed Description

template<class Cmp = TransSort::X1EvX2>
class faudes::TTransSet< Cmp >

Set of Transitions.

This container class provides similar functionality and interface as BaseSet, but for Transitions rather than indices. The additional feature is a template parameter that allows to specify alternative sorting. For algorithms that examine a transition relation by e.g. the successor state X2, it may be worthwhile to copy a given TTransRel<TransSort::X1EvX2> to a TTransRel<TransSort::X2EvX1>. Example, assuming some transition relation is given in default order

TransSet transrel;                         // transrel default order X1-Ev-X2
 
// ... some operation to set up transrel
 
TTransSet<TransSort::X2EvX1> transByX2;    // alternative order X2-Ev-X1
transrel.ReSort(transByX2);                // copy and re-order transrel
Iterator tit    =transByX2.BeginByX2(x2)   // begin iterator, X2 specified 
Iterator tit_end=transByX2.EndByX2(x2)     // end iterator, X2 specified
for(; tit!=tit_end; ++tit) {               // loop over all transitions with specified x2
 
// ... code to examine tramsitions with specified x2
 
}

Note: it is the context of a Generator that actually allows to interpret a TTransSet as a set of transitions as opposed to a set of triples of indices. In particular, file IO of transitions is provided by the generator class (although TTransSet provides basic output functions for debugging)

Definition at line 242 of file cfl_transset.h.

#include <cfl_transset.h>

Public Types
typedef TBaseSet< Transition, Cmp >::Iterator	Iterator

Public Types inherited from faudes::TBaseSet< T, Cmp >
enum	DetachMode { SetOnly , AttrIncl }

typedef Iterator	CIterator

typedef T	value_type

Public Member Functions
Constructors & Destructor
	TTransSet (void)

	TTransSet (const TTransSet< Cmp > &rOtherSet)

template<class OtherCmp >
	TTransSet (const TTransSet< OtherCmp > &res)

virtual	~TTransSet ()

Accessing individual transitions
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

Transition iterators
A variaty of iterators are provided to examine specified segments of the transition relation, e.g. all transitions starting from a given state. Note that implemetation of these iterators requires the transition set to be of sorted accordingly. Eg. scanning all transitions that are labled with a particular event requires a sorting TransSOrt::EvX1X2 orT ransSOrt::EvX2X1.
Iterator	Begin (void) const

Iterator	End (void) const

Iterator	Begin (Idx x1) const

Iterator	End (Idx x1) const

Iterator	Begin (Idx x1, Idx ev) 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

Set Operators
Reimplement boolean operators.
TTransSet< Cmp >	operator+ (const TTransSet< Cmp > &rOtherSet) const

TTransSet< Cmp >	operator- (const TTransSet< Cmp > &rOtherSet) const

TTransSet< Cmp >	operator* (const TTransSet< Cmp > &rOtherSet) const

Misc
template<class OtherCmp >
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

EventSet	IncommingEvents (Idx x2, 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

bool	IsEnd (const Iterator &pos) 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 const AttributeVoid *	AttributeType (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

Iterator	begin (void) const

Iterator	end (void) 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)

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

Type &	operator= (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 *	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	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)

Protected Member Functions
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	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

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

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

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

Additional Inherited Members
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

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

Member Typedef Documentation

◆ Iterator

template<class Cmp = TransSort::X1EvX2>

typedef TBaseSet<Transition,Cmp>::Iterator faudes::TTransSet< Cmp >::Iterator

Iterator on transition

Definition at line 279 of file cfl_transset.h.

Constructor & Destructor Documentation

◆ TTransSet() [1/3]

template<class Cmp >

faudes::TTransSet< Cmp >::TTransSet ( void )

doxygen group Construct an empty TTransSet object

Definition at line 1372 of file cfl_transset.h.

◆ TTransSet() [2/3]

template<class Cmp >

faudes::TTransSet< Cmp >::TTransSet ( const TTransSet< Cmp > & rOtherSet )

Copy-constructor

Definition at line 1379 of file cfl_transset.h.

◆ TTransSet() [3/3]

template<class Cmp >

template<class OtherCmp >

faudes::TTransSet< Cmp >::TTransSet ( const TTransSet< OtherCmp > & res )

Re-Sort Copy-constructor

Definition at line 1388 of file cfl_transset.h.

◆ ~TTransSet()

template<class Cmp = TransSort::X1EvX2>

virtual faudes::TTransSet< Cmp >::~TTransSet ( )

inlinevirtual

Virtual destructor

Definition at line 272 of file cfl_transset.h.

Member Function Documentation

◆ ActiveEvents()

template<class Cmp >

EventSet faudes::TTransSet< Cmp >::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. In order to interpret the set as an EventSet, the relevant SymbolTable must be supplied as second argument. If obmitting the second argument, the defult SymbolTable is used.

Parameters

x1	Current state
pSymTab	SymbolTable to refer to

Returns: Set of events.

Definition at line 2111 of file cfl_transset.h.

◆ Begin() [1/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin ( Idx x1 ) const

Iterator to first Transition specified by current state.

Parameters

x1	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

Sorting mismatch (id 68)

Definition at line 1427 of file cfl_transset.h.

◆ Begin() [2/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin	(	Idx	x1,
		Idx	ev
	)		const

Iterator to first Transitions specified by current state and event.

Parameters

x1	Predecessor state index
ev	Event index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

Sorting mismatch (id 68)

Definition at line 1449 of file cfl_transset.h.

◆ Begin() [3/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin ( void ) const

doxygen group: iterators Iterator to begin of set

Returns: TTransSet<Cmp>::Iterator

Definition at line 1410 of file cfl_transset.h.

◆ BeginByEv()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::BeginByEv ( Idx ev ) const

Iterator to first Transition specified by event. This function requires sorting TransSort::EvX1X2 or TransSort::EvX2X1.

Parameters

ev	Event index

Returns: TTransSet<Cmp>::iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1469 of file cfl_transset.h.

◆ BeginByEvX1()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::BeginByEvX1	(	Idx	ev,
		Idx	x1
	)		const

Iterator to first Transition specified by event and current state. This function requires sorting TransSort::EvX1X2.

Parameters

ev	Event index
x1	Predecessor state index

Returns: TTransSet<Cmp>::iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1491 of file cfl_transset.h.

◆ BeginByEvX2()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::BeginByEvX2	(	Idx	ev,
		Idx	x2
	)		const

Iterator to first Transition specified by event and next state. This function requires sorting TransSort::EvX2X1.

Parameters

ev	Event index
x2	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1511 of file cfl_transset.h.

◆ BeginByX2()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::BeginByX2 ( Idx x2 ) const

Iterator to first Transition specified by successor state x2. This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev.

Parameters

x2	Predecessor state index

Returns: TTransSet<Cmp>::iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1531 of file cfl_transset.h.

◆ BeginByX2Ev()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::BeginByX2Ev	(	Idx	x2,
		Idx	ev
	)		const

Iterator to first Transition specified by successor x2 and ev. This function requires sorting TransSort::X2EvX1.

Parameters

x2	Predecessor state index
ev	Event index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1553 of file cfl_transset.h.

◆ DoCopy()

template<class Cmp >

void faudes::TTransSet< Cmp >::DoCopy ( const TTransSet< Cmp > & rSource )

protected

Copy my members.

Parameters

rSource Source to copy from

Definition at line 1396 of file cfl_transset.h.

◆ DoMove()

template<class Cmp >

void faudes::TTransSet< Cmp >::DoMove ( TTransSet< Cmp > & rSource )

protected

Copy my members.

Parameters

rSource Source to copy from

Definition at line 1403 of file cfl_transset.h.

◆ DoRead()

template<class Cmp >

void faudes::TTransSet< Cmp >::DoRead	(	TokenReader &	rTr,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `0`
	)

protectedvirtual

Read from TokenReader, see Type::Read for public wrappers. This method readsindex triplets only. See vGenerator methods for symbolic names and attributes etc.

Parameters

rTr	Reference to TokenReader
rLabel	Label of section to read from, defaults to name of set
pContext	Read context eg symboltables (not used)

Exceptions

Exception

IO errors (id 2)

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

Definition at line 1616 of file cfl_transset.h.

◆ DoWrite()

template<class Cmp >

void faudes::TTransSet< Cmp >::DoWrite	(	TokenWriter &	rTw,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `0`
	)		const

protectedvirtual

Write to TokenWriter, see Type::Write for public wrappers. This method writes index triplets only. See vGenerator methods for symbolic names and attributes etc.

Parameters

rTw	Reference to TokenWriter
rLabel	Label of section to write, defaults to name of set
pContext	Write context eg symboltables

Exceptions

Exception

IO errors (id 2)

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

Definition at line 1596 of file cfl_transset.h.

◆ End() [1/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End ( Idx x1 ) const

Iterator to end or Transitions with specified current state.

Parameters

x1	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

Sorting mismatch (id 68)

Definition at line 1438 of file cfl_transset.h.

◆ End() [2/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End	(	Idx	x1,
		Idx	ev
	)		const

Iterator to first Transition after spcified current state and event.

Parameters

x1	Predecessor state index
ev	Event index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1459 of file cfl_transset.h.

◆ End() [3/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End ( void ) const

Iterator to end of set

Returns: TTransSet<Cmp>::Iterator

Definition at line 1415 of file cfl_transset.h.

◆ EndByEv()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::EndByEv ( Idx ev ) const

Iterator to first Transition after specified by event. This function requires sorting TransSort::EvX1X2 or TransSort::EvX2X1

Parameters

ev	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1480 of file cfl_transset.h.

◆ EndByEvX1()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::EndByEvX1	(	Idx	ev,
		Idx	x1
	)		const

Iterator to first Transition after specified ev and current state. This function requires sorting TransSort::EvX1X2.

Parameters

ev	Event index
x1	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1501 of file cfl_transset.h.

◆ EndByEvX2()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::EndByEvX2	(	Idx	ev,
		Idx	x2
	)		const

Iterator to first Transition after specified event and next state. This function requires sorting TransSort::EvX2X1.

Parameters

ev	Event index
x2	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1521 of file cfl_transset.h.

◆ EndByX2()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::EndByX2 ( Idx x2 ) const

Iterator to first Transition after specified successor state x2. This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev

Parameters

x2	Predecessor state index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1542 of file cfl_transset.h.

◆ EndByX2Ev()

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::EndByX2Ev	(	Idx	x2,
		Idx	ev
	)		const

Iterator to first Transition after specified successor x2 and ev. This function requires sorting TransSort::X2EvX1.

Parameters

x2	Predecessor state index
ev	Event index

Returns: TTransSet<Cmp>::Iterator

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1563 of file cfl_transset.h.

◆ Erase() [1/3]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Erase ( const Iterator & it )

virtual

Remove a Transition by iterator

Returns: Iterator to next transition

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

Definition at line 1701 of file cfl_transset.h.

◆ Erase() [2/3]

template<class Cmp >

bool faudes::TTransSet< Cmp >::Erase ( const Transition & t )

Remove a Transition

Returns: True if transition did exist

Definition at line 1689 of file cfl_transset.h.

◆ Erase() [3/3]

template<class Cmp >

bool faudes::TTransSet< Cmp >::Erase	(	Idx	x1,
		Idx	ev,
		Idx	x2
	)

Remove a Transition by x1, ev, x2

Returns: True if transition did exist

Definition at line 1695 of file cfl_transset.h.

◆ EraseByEv()

template<class Cmp >

void faudes::TTransSet< Cmp >::EraseByEv ( Idx ev )

Remove all transitions containing event ev. This function iterates over all transitions to work with any sorting.

Parameters

ev	Event index

Definition at line 1762 of file cfl_transset.h.

◆ EraseByX1()

template<class Cmp >

void faudes::TTransSet< Cmp >::EraseByX1 ( Idx x1 )

Remove all transitions containing predecessor state x1.

Parameters

x1	State index

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1707 of file cfl_transset.h.

◆ EraseByX1Ev()

template<class Cmp >

void faudes::TTransSet< Cmp >::EraseByX1Ev	(	Idx	x1,
		Idx	ev
	)

Remove all transitions containing predecessor state x1 and event ev.

Parameters

x1	State index
ev	Event index

Exceptions

Exception

sorting mismatch (id 68)

Definition at line 1727 of file cfl_transset.h.

◆ EraseByX1OrX2() [1/2]

template<class Cmp >

void faudes::TTransSet< Cmp >::EraseByX1OrX2 ( const StateSet & rStates )

Remove all transitions containing a specified state. This function iterates over all transitions to work with any sorting.

Parameters

rStates Set of states to remore

Definition at line 1797 of file cfl_transset.h.

◆ EraseByX1OrX2() [2/2]

template<class Cmp >

void faudes::TTransSet< Cmp >::EraseByX1OrX2 ( Idx x )

Remove all transitions containing state x, This function iterates over all transitions to work with any sorting.

Parameters

x	State index

Definition at line 1779 of file cfl_transset.h.

◆ EraseByX2()

template<class Cmp >

void faudes::TTransSet< Cmp >::EraseByX2 ( Idx x2 )

Remove all transitions containing successor state x2. This function iterates over all transitions to work with any sorting.

Parameters

x2	State index

Definition at line 1746 of file cfl_transset.h.

◆ Exists() [1/2]

template<class Cmp >

bool faudes::TTransSet< Cmp >::Exists ( const Transition & t ) const

Test existence

Parameters

t	Transition

Returns: bool

Definition at line 1855 of file cfl_transset.h.

◆ Exists() [2/2]

template<class Cmp >

bool faudes::TTransSet< Cmp >::Exists	(	Idx	x1,
		Idx	ev,
		Idx	x2
	)		const

Test existence

Parameters

x1	Predecessor state Idx
ev	Event Idx
x2	Successor state Idx

Returns: bool

Definition at line 1860 of file cfl_transset.h.

◆ ExistsByX1()

template<class Cmp >

bool faudes::TTransSet< Cmp >::ExistsByX1 ( Idx x1 ) const

Test existence

Parameters

x1	Predecessor state Idx

Returns: bool

Definition at line 1892 of file cfl_transset.h.

◆ ExistsByX1Ev()

template<class Cmp >

bool faudes::TTransSet< Cmp >::ExistsByX1Ev	(	Idx	x1,
		Idx	ev
	)		const

Test existence

Parameters

x1	Predecessor state Idx
ev	Event Idx

Returns: bool

Definition at line 1876 of file cfl_transset.h.

◆ ExistsByX1OrX2()

template<class Cmp >

bool faudes::TTransSet< Cmp >::ExistsByX1OrX2 ( Idx x ) const

Tests if a transition with specified predecessor or successor state exists.

Parameters

x State Idx

Returns: bool

Definition at line 1865 of file cfl_transset.h.

◆ Find() [1/2]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Find ( const Transition & t ) const

Find specified transition

Parameters

t	Transition

Returns: Iterator to transition or End() if not exists

Definition at line 1850 of file cfl_transset.h.

◆ Find() [2/2]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Find	(	Idx	x1,
		Idx	ev,
		Idx	x2
	)		const

Find transition given by x1, ev, x2

Parameters

x1	Predecessor state
ev	Event
x2	Successor state

Returns: Iterator to transition or End() if not exists

Definition at line 1844 of file cfl_transset.h.

◆ IncommingEvents()

template<class Cmp >

EventSet faudes::TTransSet< Cmp >::IncommingEvents	(	Idx	x2,
		SymbolTable *	pSymTab = `NULL`
	)		const

Get set of events by which one can attend the specified successor state. This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev
Since a transition set does not refer to a SymbolTable, this function returns a set of plain indices. In order to interpret the set as an EventSet, the relevant SymbolTable must be supplied as second argument. If obmitting the second argument, the defult SymbolTable is used.

Parameters

x2	Target state
pSymTab	SymbolTable to refer to

Returns: Set of events.

Definition at line 2123 of file cfl_transset.h.

◆ Inject() [1/2]

template<class Cmp >

TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Inject	(	const Iterator &	pos,
		const Transition &	rTransition
	)

Add a Transition.

Parameters

pos	Insertion hint passed to STL
rTransition	Reference to transition object

Returns: Insertion position

Definition at line 1678 of file cfl_transset.h.

◆ Inject() [2/2]

template<class Cmp >

void faudes::TTransSet< Cmp >::Inject ( const Transition & rTransition )

Add a Transition.

Parameters

rTransition Reference to transition object

Returns: Insertion position

Definition at line 1683 of file cfl_transset.h.

◆ Insert() [1/2]

template<class Cmp >

bool faudes::TTransSet< Cmp >::Insert ( const Transition & rTransition )

doxygen group Add a Transition.

Parameters

rTransition Reference to transition object

Returns: True if the transition was new to the set

Definition at line 1667 of file cfl_transset.h.

◆ Insert() [2/2]

template<class Cmp >

bool faudes::TTransSet< Cmp >::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 1672 of file cfl_transset.h.

◆ operator*()

template<class Cmp >

TTransSet< Cmp > faudes::TTransSet< Cmp >::operator* ( const TTransSet< Cmp > & rOtherSet ) const

Set intersection operator

Returns: Set Intersection

Definition at line 1588 of file cfl_transset.h.

◆ operator+()

template<class Cmp >

TTransSet< Cmp > faudes::TTransSet< Cmp >::operator+ ( const TTransSet< Cmp > & rOtherSet ) const

doxygen group: operators Set union operator

Returns: Union Set

Definition at line 1573 of file cfl_transset.h.

◆ operator-()

template<class Cmp >

TTransSet< Cmp > faudes::TTransSet< Cmp >::operator- ( const TTransSet< Cmp > & rOtherSet ) const

Set difference operator

Returns: Set Difference NameSet

Definition at line 1580 of file cfl_transset.h.

◆ PredecessorStates() [1/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::PredecessorStates ( const StateSet & rX2Set ) const

Get set of predecessor states for specified target states This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev

Parameters

rX2Set Sarget states

Returns: Set of state indices

Definition at line 2038 of file cfl_transset.h.

◆ PredecessorStates() [2/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::PredecessorStates	(	const StateSet &	rX2Set,
		const EventSet &	rEvSet
	)		const

Get set of predecessor states for specified target states and events This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev

Parameters

rX2Set	Target states
rEvSet	Events

Returns: Set of state indices

Definition at line 2075 of file cfl_transset.h.

◆ PredecessorStates() [3/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::PredecessorStates ( Idx x2 ) const

Get set of predecessor states for specified target state This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev

Parameters

x2	Target state

Returns: Set of state indices

Definition at line 2020 of file cfl_transset.h.

◆ PredecessorStates() [4/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::PredecessorStates	(	Idx	x2,
		Idx	ev
	)		const

Get set of predecessor states for specified targetstate and event This function requires sorting TransSort::X2EvX1 or TransSort::X2X1Ev

Parameters

x2	Target state
ev	Event

Returns: Set of state indices

Definition at line 2059 of file cfl_transset.h.

◆ ReSort()

template<class Cmp >

template<class OtherCmp >

void faudes::TTransSet< Cmp >::ReSort ( TTransSet< OtherCmp > & res ) const

doxygen group Get copy of trantision relation sorted by other compare operator, e.g. TSort::X2EvX1

Returns: Transition relation

Definition at line 1911 of file cfl_transset.h.

◆ RestrictEvents()

template<class Cmp >

void faudes::TTransSet< Cmp >::RestrictEvents ( const EventSet & rEventSet )

Restrict to transitions with events as specified. Erases any transition with event not in the specified state set.

Parameters

rEventSet Set of events to keep.

Definition at line 1828 of file cfl_transset.h.

◆ RestrictStates()

template<class Cmp >

void faudes::TTransSet< Cmp >::RestrictStates ( const StateSet & rStateSet )

Restrict to transitions with states as specified. Erases any transition with X1 or X2 not in the specified state set.

Parameters

rStateSet Set of states to keep.

Definition at line 1812 of file cfl_transset.h.

◆ States()

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::States ( void ) const

Get state set covered by transition set

Returns: Set of state indices used by some transition

Definition at line 1920 of file cfl_transset.h.

◆ Str() [1/2]

template<class Cmp >

std::string faudes::TTransSet< Cmp >::Str ( const Transition & rTrans ) const

virtual

Return pretty printable string representation. Primary meant for debugging messages.

Parameters

rTrans Transition to print

Returns: String

Definition at line 2135 of file cfl_transset.h.

◆ Str() [2/2]

template<class Cmp >

std::string faudes::TTransSet< Cmp >::Str ( void ) const

virtual

Return pretty printable string representation. Primary meant for debugging messages.

Returns: String

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

Definition at line 2140 of file cfl_transset.h.

◆ SuccessorStates() [1/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::SuccessorStates ( const StateSet & rX1Set ) const

Get set of successor states for specified current states

Parameters

rX1Set Current state

Returns: Set of state indices

Definition at line 1948 of file cfl_transset.h.

◆ SuccessorStates() [2/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::SuccessorStates	(	const StateSet &	rX1Set,
		const EventSet &	rEvSet
	)		const

Get set of successor states for specified current states and events

Parameters

rX1Set	Current states
rEvSet	Events

Returns: Set of state indices

Definition at line 1985 of file cfl_transset.h.

◆ SuccessorStates() [3/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::SuccessorStates ( Idx x1 ) const

Get set of successor states for specified current state

Parameters

x1	Current state

Returns: Set of state indices

Definition at line 1931 of file cfl_transset.h.

◆ SuccessorStates() [4/4]

template<class Cmp >

StateSet faudes::TTransSet< Cmp >::SuccessorStates	(	Idx	x1,
		Idx	ev
	)		const

Get set of successor states for specified current state and event

Parameters

x1	Current state
ev	Event

Returns: Set of state indices

Definition at line 1969 of file cfl_transset.h.

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

cfl_transset.h

Detailed Description

Public Types

Public Member Functions

Protected Member Functions

Additional Inherited Members

Member Typedef Documentation

◆ Iterator

Constructor & Destructor Documentation

◆ TTransSet() [1/3]

◆ TTransSet() [2/3]

◆ TTransSet() [3/3]

◆ ~TTransSet()

Member Function Documentation

◆ ActiveEvents()

◆ Begin() [1/3]

◆ Begin() [2/3]

◆ Begin() [3/3]

◆ BeginByEv()

◆ BeginByEvX1()

◆ BeginByEvX2()

◆ BeginByX2()

◆ BeginByX2Ev()

◆ DoCopy()

◆ DoMove()

◆ DoRead()

◆ DoWrite()

◆ End() [1/3]

◆ End() [2/3]

◆ End() [3/3]

◆ EndByEv()

◆ EndByEvX1()

◆ EndByEvX2()

◆ EndByX2()

◆ EndByX2Ev()

◆ Erase() [1/3]

◆ Erase() [2/3]

◆ Erase() [3/3]

◆ EraseByEv()

◆ EraseByX1()

◆ EraseByX1Ev()

◆ EraseByX1OrX2() [1/2]

◆ EraseByX1OrX2() [2/2]

◆ EraseByX2()

◆ Exists() [1/2]

◆ Exists() [2/2]

◆ ExistsByX1()

◆ ExistsByX1Ev()

◆ ExistsByX1OrX2()

◆ Find() [1/2]

◆ Find() [2/2]

◆ IncommingEvents()

◆ Inject() [1/2]

◆ Inject() [2/2]

◆ Insert() [1/2]

◆ Insert() [2/2]

◆ operator*()

◆ operator+()

◆ operator-()

◆ PredecessorStates() [1/4]

◆ PredecessorStates() [2/4]

◆ PredecessorStates() [3/4]

◆ PredecessorStates() [4/4]

◆ ReSort()

◆ RestrictEvents()

◆ RestrictStates()

◆ States()

◆ Str() [1/2]

◆ Str() [2/2]

◆ SuccessorStates() [1/4]

◆ SuccessorStates() [2/4]

◆ SuccessorStates() [3/4]

◆ SuccessorStates() [4/4]