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