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