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>
131 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>
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 void mtcInvProject(const MtcSystem& rGen, const EventSet& rProjectAlphabet, MtcSystem& rResGen);
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |