|
|
||||||
|
faudes::TaTransSet< Attr > Class Template Reference
Detailed Descriptiontemplate<class Attr>
|
typedef TTransSet<TransSort::X1EvX2>::Iterator faudes::TaTransSet< Attr >::Iterator |
doxygen group Iterator on transition
Definition at line 1051 of file cfl_transset.h.
faudes::TaTransSet< Attr >::TaTransSet | ( | void | ) |
doxygen group Construct an empty TaTransSet object
Definition at line 1868 of file cfl_transset.h.
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.33b --- 2025.05.07 --- c++ api documentaion by doxygen