|
|
||||||
|
mtc_project.h
Go to the documentation of this file.
51 * <tr> <td> <center> The MtcSystem contains two initial states and, leaving from state 2, it has two transitions containing the same event b which are leading to two separate states. </center> </td> </tr>
58 * <tr> <td> <center> Both initial states are combined to a single one. All color labels appearing in all original states are adapted to the new initial state. Furthermore, states are merged in that way that the generator's language stays the same, but the generator gets deterministic. </center> </td> </tr>
82 extern FAUDES_API void mtcDeterministic(const MtcSystem& rGen, std::map<Idx,StateSet>& rEntryStatesMap,
104 extern FAUDES_API void mtcDeterministic(const MtcSystem& rGen, std::vector<StateSet>& rPowerStates,
131 extern FAUDES_API void mtcProjectNonDet(const MtcSystem& rGen, const EventSet& rProjectAlphabet, MtcSystem& rResGen);
134 * Minimized Deterministic projection. This function does not modify the MtcSystem. It calls project, determine and statemin.
148 * <tr> <td> <center> The projection alphabet contains the events {a, b, d}. </center> </td> </tr>
155 * <tr> <td> <center> The resulting MtcSystem contains all events that appear in the oringinal MtcSystem and in the specified alphabet. Moreover, the resulting MtcSystem is deterministic. </center> </td> </tr>
162 extern FAUDES_API void mtcProject(const MtcSystem& rGen, const EventSet& rProjectAlphabet, MtcSystem& rResGen);
189 * <h4>Example: Inverse projection of an MtcSystem for a specified alphabet which is larger than the MtcSystem's one. </h4>
194 * <tr> <td> <center> The projection alphabet contains the events {a, b, c}. </center> </td> </tr>
201 * <tr> <td> <center> Events, that are not part of the MtcSystem's alphabet are inserted as self-loops into every state. </center> </td> </tr>
213 extern FAUDES_API void mtcInvProject(const MtcSystem& rGen, const EventSet& rProjectAlphabet, MtcSystem& rResGen);
Includes all libFAUDES headers, no plugins. void mtcProject(const MtcSystem &rGen, const EventSet &rProjectAlphabet, MtcSystem &rResGen) Minimized Deterministic projection. Definition: mtc_project.cpp:421 void mtcInvProject(MtcSystem &rGen, const EventSet &rProjectAlphabet) Inverse projection. Definition: mtc_project.cpp:498 void mtcProjectNonDet(MtcSystem &rGen, const EventSet &rProjectAlphabet) Project generator to alphabet rProjectAlphabet. Definition: mtc_project.cpp:328 void mtcDeterministic(const MtcSystem &rGen, MtcSystem &rResGen) Make generator deterministic. Definition: mtc_project.cpp:73 Methods for handling multitasking generators. State space minimization. TmtcGenerator< AttributeVoid, AttributeColoredState, AttributeCFlags, AttributeVoid > MtcSystem Definition: mtc_generator.h:748 libFAUDES 2.32f --- 2024.12.22 --- c++ api documentaion by doxygen |