mtc_parallel.h
Go to the documentation of this file.
55 * <tr> <td> <center> The left MtcSystem contains only one colored state, state 2, whereas the right one possesses two color labels - one for each state. </center> </td> </tr>
62 * <tr> <td> <center> The composed MtcSystem contains all colors that appear in both single MtcSystems.
libFAUDES 2.24g --- 2014.09.15 --- c++ api documentaion by doxygen |