op_observer.h

Go to the documentation of this file.
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 

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