op_mc.h

Go to the documentation of this file.
00001 
00009 /* FAU Discrete Event Systems Library (libfaudes)
00010 
00011    Copyright (C) 2006  Bernd Opitz
00012    Exclusive copyright is granted to Klaus Schmidt
00013 
00014    This library is free software; you can redistribute it and/or
00015    modify it under the terms of the GNU Lesser General Public
00016    License as published by the Free Software Foundation; either
00017    version 2.1 of the License, or (at your option) any later version.
00018 
00019    This library is distributed in the hope that it will be useful,
00020    but WITHOUT ANY WARRANTY; without even the implied warranty of
00021    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00022    Lesser General Public License for more details.
00023 
00024    You should have received a copy of the GNU Lesser General Public
00025    License along with this library; if not, write to the Free Software
00026    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA */
00027 
00028 
00029   
00030 #include "corefaudes.h"
00031 #include "op_debug.h"
00032 
00033 #ifndef FAUDES_OP_MC_H
00034 #define FAUDES_OP_MC_H
00035 
00036 
00037 using namespace std;
00038 
00039 namespace faudes {
00040 
00077 bool MutualControllability(const cGenerator& rGen1, const cGenerator& rGen2);
00078 
00097 bool MutualControllability(const cGenerator& rGen1, const cGenerator& rGen2, StateSet& rForbidden1, StateSet& rForbidden2);
00098 
00099 } // namespace faudes
00100 
00101 #define FAUDES_OP_MC_H
00102 #endif 

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