|
|
Helper functions for projected generators.
More...
Go to the source code of this file.
Namespaces |
| namespace | faudes |
| | libFAUDES resides within the namespace faudes.
|
Functions |
| StateSet | faudes::LowExitStates (const Generator &rLowGen, const EventSet &rHighAlph, const std::map< Idx, StateSet > &rEntryStatesMap, const TransSetX2EvX1 &rLowRevTransRel, Idx highState) |
| | LowExitStates return-copy function:
|
| void | faudes::LowExitStates (const EventSet &rHighAlph, const std::map< Idx, StateSet > &rEntryStatesMap, const TransSetX2EvX1 &rLowRevTransRel, Idx highState, StateSet &rLowExitStates) |
| | LowExitStates call-by-reference function:
|
| EventSet | faudes::ReachableEvents (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState) |
| | ReachableEvents return-copy function:
|
| void | faudes::ReachableEvents (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState, EventSet &rReachableEvents) |
| | ReachableEvents call-by-reference function:
|
| void | faudes::LocalCoaccessibleReach (const TransSetX2EvX1 &rRevTransRel, const EventSet &rHighAlph, Idx lowState, StateSet &rCoaccessibleReach) |
| | Compute the coaccessible reach for a local automaton.
|
| void | faudes::LocalAccessibleReach (const Generator &rLowGen, const EventSet &rHighAlph, Idx lowState, StateSet &rAccessibleReach) |
| | Compute the accessible reach for a local automaton.
|
Detailed Description
Helper functions for projected generators.
Definition in file cfl_localgen.cpp.
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|