|
|
||||||
|
faudes::TTransSet< Cmp > Class Template Reference Detailed Descriptiontemplate<class Cmp = TransSort::X1EvX2>
|
Public Types | |
typedef TBaseSet< Transition, Cmp >::Iterator | Iterator |
![]() | |
enum | DetachMode |
typedef Iterator | CIterator |
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 |
std::string | Str (const Transition &rTrans) const |
![]() | |
TBaseSet (void) | |
TBaseSet (const TBaseSet &rOtherSet) | |
TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet") | |
virtual | ~TBaseSet (void) |
virtual void | Clear (void) |
virtual bool | IsDefault (void) const |
Idx | Size (void) const |
bool | Empty (void) const |
virtual std::string | Str (const Transition &rElem) const |
Iterator | Begin (void) const |
Iterator | End (void) const |
virtual bool | Valid (const Transition &rElem) const |
virtual bool | Erase (const Transition &rElem) |
virtual void | EraseSet (const TBaseSet &rOtherSet) |
virtual void | RestrictSet (const TBaseSet &rOtherSet) |
virtual bool | Disjoint (const TBaseSet &rOtherSet) const |
virtual bool | Insert (const Transition &rElem) |
virtual Iterator | Inject (const Iterator &pos, const Transition &rElem) |
virtual void | Inject (const Transition &rElem) |
virtual void | InsertSet (const TBaseSet &rOtherSet) |
bool | Exists (const Transition &rElem) const |
Iterator | Find (const Transition &rElem) const |
TBaseSet | operator+ (const TBaseSet &rOtherSet) const |
TBaseSet | operator- (const TBaseSet &rOtherSet) const |
TBaseSet | operator* (const TBaseSet &rOtherSet) const |
bool | operator<= (const TBaseSet &rOtherSet) const |
bool | operator>= (const TBaseSet &rOtherSet) const |
bool | operator< (const TBaseSet &rOtherSet) const |
void | DValid (const std::string &rMessage="") const |
void | Detach (DetachMode flag=AttrIncl) const |
void | Lock (void) const |
virtual const AttributeVoid * | AttributeType (void) const |
virtual bool | AttributeTest (const Type &rAttr) const |
virtual TBaseSet & | AssignWithoutAttributes (const TBaseSet &rSourceSet) |
virtual void | Attributes (const TBaseSet &rOtherSet) |
Idx | AttributesSize (void) const |
void | ClearAttributes (void) |
bool | EqualAttributes (const TBaseSet &rOtherSet) const |
virtual AttributeVoid * | Attributep (const Transition &rElem) |
virtual const AttributeVoid & | Attribute (const Transition &rElem) const |
virtual void | Attribute (const Transition &rElem, const Type &rAttr) |
virtual void | AttributeTry (const Transition &rElem, const Type &rAttr) |
virtual void | ClrAttribute (const Transition &rElem) |
![]() | |
ExtType (void) | |
ExtType (const ExtType &rType) | |
virtual | ~ExtType (void) |
const std::string & | Name (void) const |
void | Name (const std::string &rName) |
virtual const std::string & | TypeName (void) const |
virtual void | TypeName (const std::string &rType) |
virtual const std::string & | ElementTag (void) const |
virtual void | ElementTag (const std::string &rTag) |
virtual const std::string & | ElementType (void) const |
virtual const TypeDefinition * | TypeDefinitionp (void) const |
Type & | operator= (const Type &rSrc) |
bool | operator== (const Type &rOther) const |
bool | operator!= (const Type &rOther) const |
![]() | |
AttrType (void) | |
AttrType (const AttrType &rSrc) | |
virtual | ~AttrType (void) |
Type & | operator= (const Type &rSrc) |
bool | operator== (const Type &rOther) const |
bool | operator!= (const Type &rOther) const |
![]() | |
Type (void) | |
Type (const Type &rType) | |
virtual | ~Type (void) |
virtual Type * | New (void) const |
virtual Type * | Copy (void) const |
virtual const Type * | Cast (const Type *pOther) const |
virtual Type & | Assign (const Type &rSrc) |
Type & | operator= (const Type &rSrc) |
virtual bool | Equal (const Type &rOther) const |
bool | operator== (const Type &rOther) const |
bool | operator!= (const Type &rOther) const |
void | Write (const Type *pContext=0) const |
void | Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
void | XWrite (const Type *pContext=0) const |
void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
void | DWrite (const Type *pContext=0) const |
void | DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out|std::ios::trunc) const |
void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
void | SWrite (TokenWriter &rTw) const |
void | SWrite (void) const |
std::string | ToSText (void) const |
void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
Protected Member Functions | |
void | DoAssign (const TTransSet &rSource) |
virtual void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
![]() | |
virtual void | DoWriteElement (TokenWriter &rTw, const Transition &rElem, const std::string &rLabel="", const Type *pContext=0) const |
virtual void | DoXWriteElement (TokenWriter &rTw, const Transition &rElem, const std::string &rLabel="", const Type *pContext=0) const |
virtual void | DoReadElement (TokenReader &rTr, Transition &rElem, const std::string &rLabel, const Type *pContext) |
virtual void | DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
virtual void | DoSWrite (TokenWriter &rTw) const |
virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
void | DoAssign (const TBaseSet &rSourceSet) |
bool | DoEqual (const TBaseSet &rOtherSet) const |
void | DoAttribute (const Transition &rElem, const Type *pAttr) |
const AttributeVoid * | DoAttribute (const Transition &rElem) const |
AttributeVoid * | DoAttributeExplicit (const Transition &rElem) |
TBaseSet< Transition, TransSort::X1EvX2 >::Iterator | ThisIterator (const typename std::set< Transition, TransSort::X1EvX2 >::const_iterator &sit) const |
void | RelinkClients (void) |
void | AttachClient (TBaseSet *pRef) const |
void | DetachClient (TBaseSet *pRef) const |
void | AttachIterator (Iterator *pFit) const |
void | DetachIterator (Iterator *pFit) const |
![]() | |
void | DoAssign (const AttrType &rSrc) |
bool | DoEqual (const AttrType &rOther) const |
![]() | |
void | DoAssign (const Type &rSrc) |
bool | DoEqual (const Type &rOther) const |
virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
typedef TBaseSet<Transition, Cmp>::Iterator faudes::TTransSet< Cmp >::Iterator |
Iterator on transition
Definition at line 280 of file cfl_transset.h.
faudes::TTransSet< Cmp >::TTransSet | ( | void | ) |
doxygen group Construct an empty TTransSet object
Definition at line 1291 of file cfl_transset.h.
faudes::TTransSet< Cmp >::TTransSet | ( | const TTransSet< Cmp > & | rOtherSet | ) |
Copy-constructor
Definition at line 1298 of file cfl_transset.h.
faudes::TTransSet< Cmp >::TTransSet | ( | const TTransSet< OtherCmp > & | res | ) |
Re-Sort Copy-constructor
Definition at line 1307 of file cfl_transset.h.
|
inlinevirtual |
Virtual destructor
Definition at line 273 of file cfl_transset.h.
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.
x1 | Current state |
pSymTab | SymbolTable to refer to |
Definition at line 1972 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin | ( | Idx | x1 | ) | const |
Iterator to first Transition specified by current state.
x1 | Predecessor state index |
Exception |
|
Definition at line 1339 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin | ( | Idx | x1, |
Idx | ev | ||
) | const |
Iterator to first Transitions specified by current state and event.
x1 | Predecessor state index |
ev | Event index |
Exception |
|
Definition at line 1361 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin | ( | void | ) | const |
doxygen group: iterators Iterator to begin of set
Definition at line 1322 of file cfl_transset.h.
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.
ev | Event index |
Exception |
|
Definition at line 1381 of file cfl_transset.h.
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.
ev | Event index |
x1 | Predecessor state index |
Exception |
|
Definition at line 1403 of file cfl_transset.h.
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.
ev | Event index |
x2 | Predecessor state index |
Exception |
|
Definition at line 1423 of file cfl_transset.h.
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.
x2 | Predecessor state index |
Exception |
|
Definition at line 1443 of file cfl_transset.h.
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.
x2 | Predecessor state index |
ev | Event index |
Exception |
|
Definition at line 1465 of file cfl_transset.h.
|
protected |
Assign my members.
rSource | Source to copy from |
Definition at line 1315 of file cfl_transset.h.
|
protectedvirtual |
Write to TokenWriter, see Type::Write for public wrappers.
rTw | Reference to TokenWriter |
rLabel | Label of section to write, defaults to name of set |
pContext | Write context eg symboltables |
Exception |
|
Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.
Definition at line 1508 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End | ( | Idx | x1 | ) | const |
Iterator to end or Transitions with specified current state.
x1 | Predecessor state index |
Exception |
|
Definition at line 1350 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End | ( | Idx | x1, |
Idx | ev | ||
) | const |
Iterator to first Transition after spcified current state and event.
x1 | Predecessor state index |
ev | Event index |
Exception |
|
Definition at line 1371 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End | ( | void | ) | const |
Iterator to end of set
Definition at line 1327 of file cfl_transset.h.
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
ev | Predecessor state index |
Exception |
|
Definition at line 1392 of file cfl_transset.h.
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.
ev | Event index |
x1 | Predecessor state index |
Exception |
|
Definition at line 1413 of file cfl_transset.h.
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.
ev | Event index |
x2 | Predecessor state index |
Exception |
|
Definition at line 1433 of file cfl_transset.h.
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
x2 | Predecessor state index |
Exception |
|
Definition at line 1454 of file cfl_transset.h.
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.
x2 | Predecessor state index |
ev | Event index |
Exception |
|
Definition at line 1475 of file cfl_transset.h.
|
virtual |
Remove a Transition by iterator
Reimplemented from faudes::TBaseSet< Transition, TransSort::X1EvX2 >.
Definition at line 1562 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Erase | ( | const Transition & | t | ) |
Remove a Transition
Definition at line 1550 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Erase | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) |
Remove a Transition by x1, ev, x2
Definition at line 1556 of file cfl_transset.h.
void faudes::TTransSet< Cmp >::EraseByEv | ( | Idx | ev | ) |
Remove all transitions containing event ev. This function iterates over all transitions to work with any sorting.
ev | Event index |
Definition at line 1623 of file cfl_transset.h.
void faudes::TTransSet< Cmp >::EraseByX1 | ( | Idx | x1 | ) |
Remove all transitions containing predecessor state x1.
x1 | State index |
Exception |
|
Definition at line 1568 of file cfl_transset.h.
void faudes::TTransSet< Cmp >::EraseByX1Ev | ( | Idx | x1, |
Idx | ev | ||
) |
Remove all transitions containing predecessor state x1 and event ev.
x1 | State index |
ev | Event index |
Exception |
|
Definition at line 1588 of file cfl_transset.h.
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.
rStates | Set of states to remore |
Definition at line 1658 of file cfl_transset.h.
void faudes::TTransSet< Cmp >::EraseByX1OrX2 | ( | Idx | x | ) |
Remove all transitions containing state x, This function iterates over all transitions to work with any sorting.
x | State index |
Definition at line 1640 of file cfl_transset.h.
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.
x2 | State index |
Definition at line 1607 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Exists | ( | const Transition & | t | ) | const |
bool faudes::TTransSet< Cmp >::Exists | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) | const |
Test existence
x1 | Predecessor state Idx |
ev | Event Idx |
x2 | Successor state Idx |
Definition at line 1721 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::ExistsByX1 | ( | Idx | x1 | ) | const |
Test existence
x1 | Predecessor state Idx |
Definition at line 1753 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::ExistsByX1Ev | ( | Idx | x1, |
Idx | ev | ||
) | const |
Test existence
x1 | Predecessor state Idx |
ev | Event Idx |
Definition at line 1737 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::ExistsByX1OrX2 | ( | Idx | x | ) | const |
Tests if a transition with specified predecessor or successor state exists.
x | State Idx |
Definition at line 1726 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Find | ( | const Transition & | t | ) | const |
Find specified transition
t | Transition |
Definition at line 1711 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Find | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) | const |
Find transition given by x1, ev, x2
x1 | Predecessor state |
ev | Event |
x2 | Successor state |
Definition at line 1705 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Inject | ( | const Iterator & | pos, |
const Transition & | rTransition | ||
) |
Add a Transition.
pos | Insertion hint passed to STL |
rTransition | Reference to transition object |
Definition at line 1539 of file cfl_transset.h.
void faudes::TTransSet< Cmp >::Inject | ( | const Transition & | rTransition | ) |
Add a Transition.
rTransition | Reference to transition object |
Definition at line 1544 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Insert | ( | const Transition & | rTransition | ) |
doxygen group Add a Transition.
rTransition | Reference to transition object |
Definition at line 1528 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Insert | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) |
Add a Transition by indices
x1 | Predecessor state |
ev | Event |
x2 | Successor state |
Definition at line 1533 of file cfl_transset.h.
TTransSet< Cmp > faudes::TTransSet< Cmp >::operator* | ( | const TTransSet< Cmp > & | rOtherSet | ) | const |
TTransSet< Cmp > faudes::TTransSet< Cmp >::operator+ | ( | const TTransSet< Cmp > & | rOtherSet | ) | const |
doxygen group: operators Set union operator
Definition at line 1485 of file cfl_transset.h.
TTransSet< Cmp > faudes::TTransSet< Cmp >::operator- | ( | const TTransSet< Cmp > & | rOtherSet | ) | const |
Set difference operator
Definition at line 1492 of file cfl_transset.h.
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
rX2Set | Sarget states |
Definition at line 1899 of file cfl_transset.h.
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
rX2Set | Target states |
rEvSet | Events |
Definition at line 1936 of file cfl_transset.h.
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
x2 | Target state |
Definition at line 1881 of file cfl_transset.h.
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
x2 | Target state |
ev | Event |
Definition at line 1920 of file cfl_transset.h.
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
Definition at line 1772 of file cfl_transset.h.
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.
rEventSet | Set of events to keep. |
Definition at line 1689 of file cfl_transset.h.
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.
rStateSet | Set of states to keep. |
Definition at line 1673 of file cfl_transset.h.
StateSet faudes::TTransSet< Cmp >::States | ( | void | ) | const |
Get state set covered by transition set
Definition at line 1781 of file cfl_transset.h.
std::string faudes::TTransSet< Cmp >::Str | ( | const Transition & | rTrans | ) | const |
Return pretty printable string representation. Primary meant for debugging messages.
rTrans | Transition to print |
Definition at line 1984 of file cfl_transset.h.
StateSet faudes::TTransSet< Cmp >::SuccessorStates | ( | const StateSet & | rX1Set | ) | const |
Get set of successor states for specified current states
rX1Set | Current state |
Definition at line 1809 of file cfl_transset.h.
StateSet faudes::TTransSet< Cmp >::SuccessorStates | ( | const StateSet & | rX1Set, |
const EventSet & | rEvSet | ||
) | const |
Get set of successor states for specified current states and events
rX1Set | Current states |
rEvSet | Events |
Definition at line 1846 of file cfl_transset.h.
StateSet faudes::TTransSet< Cmp >::SuccessorStates | ( | Idx | x1 | ) | const |
Get set of successor states for specified current state
x1 | Current state |
Definition at line 1792 of file cfl_transset.h.
StateSet faudes::TTransSet< Cmp >::SuccessorStates | ( | Idx | x1, |
Idx | ev | ||
) | const |
Get set of successor states for specified current state and event
x1 | Current state |
ev | Event |
Definition at line 1830 of file cfl_transset.h.
libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen