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