NuSMV/code/nusmv/shell/opt/optCmd.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_SHELL_OPT_OPT_CMD_H__ 00020 #define __NUSMV_SHELL_OPT_OPT_CMD_H__ 00021 00022 #include "nusmv/core/cinit/NuSMVEnv.h" 00023 /*---------------------------------------------------------------------------*/ 00024 /* Constant declarations */ 00025 /*---------------------------------------------------------------------------*/ 00026 00027 00028 /*---------------------------------------------------------------------------*/ 00029 /* Type declarations */ 00030 /*---------------------------------------------------------------------------*/ 00031 00032 00033 /*---------------------------------------------------------------------------*/ 00034 /* Structure declarations */ 00035 /*---------------------------------------------------------------------------*/ 00036 00037 00038 /*---------------------------------------------------------------------------*/ 00039 /* Variable declarations */ 00040 /*---------------------------------------------------------------------------*/ 00041 00042 00043 /*---------------------------------------------------------------------------*/ 00044 /* Macro declarations */ 00045 /*---------------------------------------------------------------------------*/ 00046 00047 00050 /*---------------------------------------------------------------------------*/ 00051 /* Function prototypes */ 00052 /*---------------------------------------------------------------------------*/ 00053 00060 void Opt_Cmd_init(NuSMVEnv_ptr env); 00061 00064 #endif /* __NUSMV_SHELL_OPT_OPT_CMD_H__ */
