00001
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef PROJECT_H
00024
00025 #include "definitions.h"
00026 #include "agenerator.h"
00027 #include "localgen.h"
00028 #include "statemin.h"
00029 #include <stack>
00030 #include <map>
00031 #include <vector>
00032 #include <list>
00033 #include <utility>
00034 #include <limits>
00035
00036 namespace faudes {
00037
00038
00058 void UniqueInit(vGenerator& rGen);
00059
00060
00092 void Deterministic(const vGenerator& rGen, vGenerator& rResGen);
00093
00110 void Deterministic(const vGenerator& rGen, std::map<Idx,StateSet>& rEntryStatesMap,
00111 vGenerator& rResGen);
00112
00131 void Deterministic(const vGenerator& rGen, std::vector<StateSet>& rPowerStates,
00132 std::vector<Idx>& rDetStates, vGenerator& rResGen);
00133
00152 void ProjectNonDet(vGenerator& rGen, const EventSet& rProjectAlphabet);
00153
00179 void Project(const vGenerator& rGen, const EventSet& rProjectAlphabet, vGenerator& rResGen);
00180
00197 void Project(const vGenerator& rGen, const EventSet& rProjectAlphabet,
00198 std::map<Idx,StateSet>& rEntryStatesMap, vGenerator& rResGen);
00199
00209 void InvProject(vGenerator& rGen, const EventSet& rProjectAlphabet);
00210
00211
00212
00213 }
00214
00215 #define PROJECT_H
00216 #endif
00217