NuSMV/code/nusmv/shell/mc/mcCmd.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 00004 This file is part of the ``mc'' package. 00005 %COPYRIGHT% 00006 00007 00008 -----------------------------------------------------------------------------*/ 00009 00019 #ifndef __NUSMV_SHELL_MC_MC_CMD_H__ 00020 #define __NUSMV_SHELL_MC_MC_CMD_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 00058 void Mc_Init(NuSMVEnv_ptr env); 00059 00065 void Mc_End(NuSMVEnv_ptr env); 00066 00069 #endif /* __NUSMV_SHELL_MC_MC_CMD_H__ */
