00001 00003 /* FAU Discrete Event Systems Library (libfaudes) 00004 00005 Copyright (C) 2006 Bernd Opitz 00006 Copyright (C) 2007 Thomas Moor 00007 Exclusive copyright is granted to Klaus Schmidt 00008 00009 This library is free software; you can redistribute it and/or 00010 modify it under the terms of the GNU Lesser General Public 00011 License as published by the Free Software Foundation; either 00012 version 2.1 of the License, or (at your option) any later version. 00013 00014 This library is distributed in the hope that it will be useful, 00015 but WITHOUT ANY WARRANTY; without even the implied warranty of 00016 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00017 Lesser General Public License for more details. 00018 00019 You should have received a copy of the GNU Lesser General Public 00020 License along with this library; if not, write to the Free Software 00021 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */ 00022 00023 #ifndef CGENFUNCT_H 00024 #define CGENFUNCT_H 00025 00026 00027 #include "definitions.h" 00028 #include "cgenerator.h" 00029 #include "project.h" 00030 #include "parallel.h" 00031 #include "supcon.h" 00032 00033 00034 namespace faudes { 00035 00036 00057 bool cIsControllable( 00058 const cGenerator& rPlantGen, 00059 const vGenerator& rSupCandGen); 00060 00061 00062 00093 void cSupConNB( 00094 const cGenerator& rPlantGen, 00095 const vGenerator& rSpecGen, 00096 cGenerator& rResGen); 00097 00098 00127 void cSupCon( 00128 const cGenerator& rPlantGen, 00129 const vGenerator& rSpecGen, 00130 cGenerator& rResGen); 00131 00132 00133 00150 void cParallel(const cGenerator& rGen1, const cGenerator& rGen2, cGenerator& rResGen); 00151 00152 00165 void cProject(const cGenerator& rGen, const EventSet& rProjectAlphabet, cGenerator& rResGen); 00166 00167 00168 } // namespace faudes 00169 00170 #endif