cgenfunct.h

Go to the documentation of this file.
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 FAUDES_CGENFUNCT_H
00024 #define FAUDES_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 
00153 
00154 
00165 void cProjectNonDet(cGenerator& rGen, const EventSet& rProjectAlphabet);
00166 
00179 void cProject(const cGenerator& rGen, const EventSet& rProjectAlphabet, cGenerator& rResGen);
00180 
00191 void cInvProject(cGenerator& rGen, const cEventSet& rProjectAlphabet);
00192 
00193 
00194 } // namespace faudes
00195 
00196 #endif

Generated on Mon Nov 10 08:13:14 2008 for libFAUDES 2.11v by  doxygen 1.4.4