00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef LOCALGEN_H
00024
00025 #include "agenerator.h"
00026 #include <map>
00027 #include <stack>
00028
00029 namespace faudes {
00030
00052 StateSet LowExitStates(const vGenerator& rLowGen, const EventSet& rHighAlph,
00053 const std::map<Idx,StateSet>& rEntryStatesMap, const TransSetX2EvX1& rLowRevTransRel, Idx highState);
00054
00074 void LowExitStates(const EventSet& rHighAlph, const std::map<Idx,StateSet>& rEntryStatesMap,
00075 const TransSetX2EvX1& rLowRevTransRel, Idx highState, StateSet& rLowExitStates);
00076
00091 EventSet ReachableEvents(const vGenerator& rLowGen, const EventSet& rHighAlph,
00092 Idx lowState);
00093
00110 void ReachableEvents(const vGenerator& rLowGen, const EventSet& rHighAlph,
00111 Idx lowState, EventSet& rReachableEvents);
00112
00125 void LocalCoaccessibleReach(const TransSetX2EvX1& rRevTransRel,
00126 const EventSet& rHighAlph, Idx lowState, StateSet& rCoaccessibleReach);
00127
00140 void LocalAccessibleReach(const vGenerator& rLowGen, const EventSet& rHighAlph,
00141 Idx lowState, StateSet& rAccessibleReach);
00142
00143 }
00144
00145 #define LOCALGEN_H
00146 #endif
00147