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 #ifndef OP_MC_H
00031 
00032 #include "libfaudes.h"
00033 #include "op_debug.h"
00034 
00035 using namespace std;
00036 
00037 namespace faudes {
00038 
00075 bool MutualControllability(const cGenerator& rGen1, const cGenerator& rGen2);
00076 
00095 bool MutualControllability(const cGenerator& rGen1, const cGenerator& rGen2, StateSet& rForbidden1, StateSet& rForbidden2);
00096 
00097 } // namespace faudes
00098 
00099 #define OP_MC_H
00100 #endif 

Generated on Fri May 9 11:26:47 2008 for libFAUDES 2.09b by  doxygen 1.4.4