mtc_generator.cpp
Go to the documentation of this file.
1 /** @file mtc_generator.cpp
2 
3 Methods for handling multitasking generators
4 
5 */
6 
7 /* FAU Discrete Event Systems Library (libfaudes)
8 
9  Copyright (C) 2008 Matthias Singer
10  Exclusive copyright is granted to Klaus Schmidt
11 
12  This library is free software; you can redistribute it and/or
13  modify it under the terms of the GNU Lesser General Public
14  License as published by the Free Software Foundation; either
15  version 2.1 of the License, or (at your option) any later version.
16 
17  This library is distributed in the hope that it will be useful,
18  but WITHOUT ANY WARRANTY; without even the implied warranty of
19  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20  Lesser General Public License for more details.
21 
22  You should have received a copy of the GNU Lesser General Public
23  License along with this library; if not, write to the Free Software
24  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */
25 
26 
27 #include "mtc_generator.h"
28 
29 namespace faudes {
30 
31 // rti wrapper
32 bool IsStronglyCoaccessible(const MtcSystem& rGen) {
33  return rGen.IsStronglyCoaccessible();
34 }
35 
36 // rti wrapper
37 bool IsStronglyTrim(const MtcSystem& rGen) {
38  return rGen.IsStronglyTrim();
39 }
40 
41 // rti wrapper
43  rGen.StronglyCoaccessible();
44 }
45 
46 // rti wrapper
47 void StronglyCoaccessible(const MtcSystem& rGen, MtcSystem& rRes) {
48  rRes=rGen;
49  rRes.StronglyCoaccessible();
50 }
51 
52 // rti wrapper
53 void StronglyTrim(MtcSystem& rGen) {
54  rGen.StronglyTrim();
55 }
56 
57 // rti wrapper
58 void StronglyTrim(const MtcSystem& rGen, MtcSystem& rRes) {
59  rRes=rGen;
60  rRes.StronglyTrim();
61 }
62 
63 
64 } // namespace
Allows to create colored marking generators (CMGs) as the common five tupel consisting of alphabet,...
Definition: mtc_generator.h:53
bool StronglyTrim(void)
Make generator strongly trim.
bool IsStronglyTrim(void) const
Check if the MtcSystem is strongly trim.
bool StronglyCoaccessible(void)
Make generator strongly coaccessible.
bool IsStronglyCoaccessible(void) const
Check if MtcSystem is strongly coaccessible.
bool IsStronglyTrim(const MtcSystem &rGen)
RTI wrapper function.
void StronglyTrim(MtcSystem &rGen)
RTI wrapper function.
void StronglyCoaccessible(MtcSystem &rGen)
RTI wrapper function.
bool IsStronglyCoaccessible(const MtcSystem &rGen)
RTI wrapper function.
Methods for handling multitasking generators.
libFAUDES resides within the namespace faudes.

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen