faudes::TaTransSet< Attr > Class Template Reference Detailed Descriptiontemplate<class Attr>
|
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... | |
![]() | |
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... | |
![]() | |
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... | |
Type & | operator= (const Type &rSrc) |
Assign configurationdata from other object. More... | |
bool | operator== (const Type &rOther) const |
Test equality of configuration data. More... | |
bool | operator!= (const Type &rOther) const |
Test equality of configuration data. More... | |
![]() | |
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... | |
Type & | operator= (const Type &rSrc) |
Assign configurationdata from other object. More... | |
virtual bool | Equal (const Type &rOther) const |
Test equality of configuration data. More... | |
bool | operator== (const Type &rOther) const |
Test equality of configuration data. More... | |
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... | |
![]() | |
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... | |
![]() | |
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... | |
![]() | |
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... | |
![]() | |
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 | |
![]() | |
typedef TBaseSet< Transition, TransSort::X1EvX2 >::Iterator | Iterator |
Iterator on transition. More... | |
![]() | |
enum | DetachMode |
Detach from extern storage (incl allocation and true copy) More... | |
![]() | |
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... | |
![]() | |
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... | |
![]() | |
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... | |
![]() | |
TBaseSet< Transition, TransSort::X1EvX2 > * | pBaseSet |
reference to associated TBaseSet More... | |
![]() | |
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... | |
typedef TTransSet<TransSort::X1EvX2>::Iterator faudes::TaTransSet< Attr >::Iterator |
faudes::TaTransSet< Attr >::TaTransSet | ( | void | ) |
faudes::TaTransSet< Attr >::TaTransSet | ( | const TaTransSet< Attr > & | rOtherSet | ) |
Copy-constructor (incl attributes)
Definition at line 1876 of file cfl_transset.h.
faudes::TaTransSet< Attr >::TaTransSet | ( | const TTransSet< TransSort::X1EvX2 > & | rOtherSet | ) |
Copy-Constructor (set attributes to default)
Definition at line 1886 of file cfl_transset.h.
|
inlinevirtual |
Virtual destructor.
Definition at line 1021 of file cfl_transset.h.
|
virtual |
Relaxed assignment method.
Runtime typecheck for TransSet, maintains attributes provided they can be casted.
rSrc | Source from which to assign |
Definition at line 1902 of file cfl_transset.h.
|
inline |
Definition at line 1195 of file cfl_transset.h.
|
inline |
Definition at line 1196 of file cfl_transset.h.
|
inline |
Definition at line 1197 of file cfl_transset.h.
|
inline |
Definition at line 1194 of file cfl_transset.h.
|
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.
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 1198 of file cfl_transset.h.
|
inlinevirtual |
resolve ambiguities from attribute interface ("using" wont do the job)
Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.
Definition at line 1193 of file cfl_transset.h.
|
protected |
Assign my members.
Maintain attributes.
rSource | Source to copy from |
Definition at line 1896 of file cfl_transset.h.
TaTransSet< Attr >::Iterator faudes::TaTransSet< Attr >::Erase | ( | const Iterator & | it | ) |
Remove a Transition by iterator.
Definition at line 1975 of file cfl_transset.h.
bool faudes::TaTransSet< Attr >::Erase | ( | const Transition & | t | ) |
Remove a Transition.
Definition at line 1963 of file cfl_transset.h.
bool faudes::TaTransSet< Attr >::Erase | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) |
Remove a Transition.
Definition at line 1968 of file cfl_transset.h.
|
virtual |
Inserts elements of rOtherSet.
This variant uses a runtime cast to access attributes.
rOtherSet | Other IndexSet |
Exception |
|
Definition at line 1993 of file cfl_transset.h.
|
virtual |
Inserts elements of rOtherSet.
Attributes of this set are maintained.
rOtherSet | Other IndexSet |
Definition at line 1987 of file cfl_transset.h.
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.
rTransition | Reference to transition object |
Definition at line 1923 of file cfl_transset.h.
bool faudes::TaTransSet< Attr >::Insert | ( | const Transition & | rTransition, |
const Attr & | rAttr | ||
) |
Add a Transition with attribute.
rTransition | Reference to transition object |
rAttr | Reference to attribute |
Definition at line 1936 of file cfl_transset.h.
bool faudes::TaTransSet< Attr >::Insert | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) |
Add a Transition by indices.
x1 | Predecessor state |
ev | Event |
x2 | Successor state |
Definition at line 1929 of file cfl_transset.h.
|
virtual |
Inserts elements of rOtherSet.
This variant uses a runtime cast to access attributes.
rOtherSet | Other IndexSet |
Exception |
|
Definition at line 1948 of file cfl_transset.h.
|
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.
rOtherSet | Other IndexSet |
Definition at line 1942 of file cfl_transset.h.
|
inlinevirtual |
Relaxed assignment operator.
rSrc | Source from which to assign |
Definition at line 1041 of file cfl_transset.h.
void faudes::TaTransSet< Attr >::RestrictSet | ( | const TBaseSet< Transition, TransSort::X1EvX2 > & | rOtherSet | ) |
Restrict to specified subset.
This variant uses a runtime cast to access attributes.
rOtherSet | Elements to erase |
Definition at line 2014 of file cfl_transset.h.
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.
rOtherSet | Elements to erase |
Definition at line 2007 of file cfl_transset.h.
libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen