00001 00003 /* 00004 **************************************************** 00005 Convenience header file that includes all headers 00006 relevant to the observer plugin. The make system will 00007 append an include directive for this file to the 00008 "allplugins.h" include file. 00009 00010 (c) Klaus Schmidt 2008 00011 **************************************************** 00012 */ 00013 00014 /* FAU Discrete Event Systems Library (libfaudes) 00015 00016 Copyright (C) Klaus Schmidt 00017 00018 This library is free software; you can redistribute it and/or 00019 modify it under the terms of the GNU Lesser General Public 00020 License as published by the Free Software Foundation; either 00021 version 2.1 of the License, or (at your option) any later version. 00022 00023 This library is distributed in the hope that it will be useful, 00024 but WITHOUT ANY WARRANTY; without even the implied warranty of 00025 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00026 Lesser General Public License for more details. 00027 00028 You should have received a copy of the GNU Lesser General Public 00029 License along with this library; if not, write to the Free Software 00030 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA */ 00031 00032 #ifndef FAUDES_OP_INCLUDE_H 00033 #define FAUDES_OP_INCLUDE_H 00034 00035 00036 #include "op_mc.h" 00037 #include "op_debug.h" 00038 #include "op_observercomputation.h" 00039 #include "op_obserververification.h" 00040 #include "op_partition.h" 00041 #include "op_bisimulation.h" 00042 00043 #endif 00044 00045