obs_include.hGo to the documentation of this file.00001 /** @file obs_include.h 00002 Includes all header files of the observability plug-in. 00003 */ 00004 00005 00006 #ifndef OBS_INCLUDE_H 00007 #define OBS_INCLUDE_H 00008 00009 #include "obs_local_observation_consistency.h" 00010 00011 #endif 00012 00013 00014 /** 00015 @defgroup ObservabilityPlugIn Observability Plug-In 00016 @ingroup AllPlugins 00017 00018 <p> 00019 This plug-in addresses observability. 00020 The current implementation is experimental and distributed 00021 for inspection/discussion only. 00022 </p> 00023 00024 @section ObservabilityLicense License 00025 This plug-in is distributed with libFAUDES and under the terms of the LGPL. 00026 <br> 00027 <br> 00028 Copyright (c) 2011, Klaus Schmidt. 00029 00030 */ libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen |