#include "agenerator.h"
#include <map>
#include <stack>
Go to the source code of this file.
Namespaces | |
namespace | faudes |
Defines | |
#define | LOCALGEN_H |
Functions | |
StateSet | faudes::LowExitStates (const vGenerator &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 vGenerator &rLowGen, const EventSet &rHighAlph, Idx lowState) |
ReachableEvents return-copy function:. | |
void | faudes::ReachableEvents (const vGenerator &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 vGenerator &rLowGen, const EventSet &rHighAlph, Idx lowState, StateSet &rAccessibleReach) |
Compute the accessible reach for a local automaton. |
|
Definition at line 145 of file localgen.h. |