faudes::TTransSet< Cmp > Class Template Reference Set of Transitions. More...
Detailed Descriptiontemplate<class Cmp = TransSort::X1EvX2>
|
typedef TBaseSet<Transition, Cmp>::Iterator faudes::TTransSet< Cmp >::Iterator |
Iterator on transition.
Definition at line 268 of file cfl_transset.h.
faudes::TTransSet< Cmp >::TTransSet | ( | void | ) |
faudes::TTransSet< Cmp >::TTransSet | ( | const TBaseSet< Transition, Cmp > & | rOtherSet | ) |
Copy-constructor.
Definition at line 1203 of file cfl_transset.h.
faudes::TTransSet< Cmp >::TTransSet | ( | const TTransSet< OtherCmp > & | res | ) |
Re-Sort Copy-constructor.
Definition at line 1212 of file cfl_transset.h.
|
inlinevirtual |
Virtual destructor.
Definition at line 268 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 1765 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Begin | ( | void | ) | const |
Iterator to begin of set.
doxygen group: iterators
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Definition at line 1227 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 1244 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 1266 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 1286 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 1308 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 1328 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 1348 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 1370 of file cfl_transset.h.
|
protected |
Assign my members.
rSource | Source to copy from |
Definition at line 1220 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, Cmp >.
Definition at line 1392 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::End | ( | void | ) | const |
Iterator to end of set.
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Definition at line 1232 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 1255 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 1276 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 1297 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 1318 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 1338 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 1359 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 1380 of file cfl_transset.h.
|
virtual |
Remove a Transition.
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Reimplemented in faudes::TaTransSet< Attr >.
Definition at line 1434 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Erase | ( | Idx | x1, |
Idx | ev, | ||
Idx | x2 | ||
) |
Remove a Transition by x1, ev, x2.
Reimplemented in faudes::TaTransSet< Attr >.
Definition at line 1440 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Erase | ( | const Iterator & | it | ) |
Remove a Transition by iterator.
Reimplemented in faudes::TaTransSet< Attr >.
Definition at line 1446 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 1507 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 1452 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 1472 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 1524 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 1542 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 1491 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::Exists | ( | const Transition & | t | ) | const |
Test existence.
t | Transition |
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Definition at line 1600 of file cfl_transset.h.
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 1605 of file cfl_transset.h.
bool faudes::TTransSet< Cmp >::ExistsByX1 | ( | Idx | x1 | ) | const |
Test existence.
x1 | Predecessor state Idx |
ev | Event Idx |
Definition at line 1637 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 1621 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 1610 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 1589 of file cfl_transset.h.
TTransSet< Cmp >::Iterator faudes::TTransSet< Cmp >::Find | ( | const Transition & | t | ) | const |
Find specified transition.
t | Transition |
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Definition at line 1595 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 1423 of file cfl_transset.h.
|
virtual |
Add a Transition.
rTransition | Reference to transition object |
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Definition at line 1428 of file cfl_transset.h.
|
virtual |
Add a Transition.
doxygen group
rTransition | Reference to transition object |
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Reimplemented in faudes::TaTransSet< Attr >.
Definition at line 1412 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 |
Reimplemented in faudes::TaTransSet< Attr >.
Definition at line 1417 of file cfl_transset.h.
void faudes::TTransSet< Cmp >::ReSort | ( | TTransSet< OtherCmp > & | res | ) | const |
Get copy of trantision relation sorted by other compare operator, e.g.
doxygen group TSort::X2EvX1
Definition at line 1656 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 1573 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 1557 of file cfl_transset.h.
StateSet faudes::TTransSet< Cmp >::States | ( | void | ) | const |
Get state set covered by transition set.
Definition at line 1665 of file cfl_transset.h.
|
virtual |
Return pretty printable string representation.
Primary meant for debugging messages.
rTrans | Transition to print |
Reimplemented from faudes::TBaseSet< Transition, Cmp >.
Definition at line 1777 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 1676 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 1693 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 1714 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 1730 of file cfl_transset.h.
libFAUDES 2.28a --- 2016.09.13 --- c++ api documentaion by doxygen