NuSMV/code/nusmv/core/opt/optPkg.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 00004 This file is part of the ``opt'' package. 00005 %COPYRIGHT% 00006 00007 00008 -----------------------------------------------------------------------------*/ 00009 00019 #ifndef __NUSMV_CORE_OPT_OPT_PKG_H__ 00020 #define __NUSMV_CORE_OPT_OPT_PKG_H__ 00021 00022 /*---------------------------------------------------------------------------*/ 00023 /* Constant declarations */ 00024 /*---------------------------------------------------------------------------*/ 00025 00026 00027 /*---------------------------------------------------------------------------*/ 00028 /* Type declarations */ 00029 /*---------------------------------------------------------------------------*/ 00030 00031 00032 /*---------------------------------------------------------------------------*/ 00033 /* Structure declarations */ 00034 /*---------------------------------------------------------------------------*/ 00035 00036 00037 /*---------------------------------------------------------------------------*/ 00038 /* Variable declarations */ 00039 /*---------------------------------------------------------------------------*/ 00040 00041 00042 /*---------------------------------------------------------------------------*/ 00043 /* Macro declarations */ 00044 /*---------------------------------------------------------------------------*/ 00045 00046 00049 /*---------------------------------------------------------------------------*/ 00050 /* Function prototypes */ 00051 /*---------------------------------------------------------------------------*/ 00052 00064 void Opt_Pkg_init(NuSMVEnv_ptr const env); 00065 00076 void Opt_Pkg_deinit(NuSMVEnv_ptr const env); 00077 00080 #endif /* __NUSMV_CORE_OPT_OPT_PKG_H__ */
