NuSMV/code/nusmv/addons_core/compass/compassCmd.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 00004 This file is part of the ``addons_core.compass'' package. 00005 %COPYRIGHT% 00006 00007 00008 -----------------------------------------------------------------------------*/ 00009 00019 #ifndef __NUSMV_ADDONS_CORE_COMPASS_COMPASS_CMD_H__ 00020 #define __NUSMV_ADDONS_CORE_COMPASS_COMPASS_CMD_H__ 00021 00022 #include "nusmv/core/cinit/NuSMVEnv.h" 00023 00024 /*---------------------------------------------------------------------------*/ 00025 /* Constant declarations */ 00026 /*---------------------------------------------------------------------------*/ 00027 00028 00029 /*---------------------------------------------------------------------------*/ 00030 /* Type declarations */ 00031 /*---------------------------------------------------------------------------*/ 00032 00033 00034 /*---------------------------------------------------------------------------*/ 00035 /* Structure declarations */ 00036 /*---------------------------------------------------------------------------*/ 00037 00038 00039 /*---------------------------------------------------------------------------*/ 00040 /* Variable declarations */ 00041 /*---------------------------------------------------------------------------*/ 00042 00043 00044 /*---------------------------------------------------------------------------*/ 00045 /* Macro declarations */ 00046 /*---------------------------------------------------------------------------*/ 00047 00048 00051 /*---------------------------------------------------------------------------*/ 00052 /* Function prototypes */ 00053 /*---------------------------------------------------------------------------*/ 00054 00060 void Compass_init_cmd(NuSMVEnv_ptr env); 00061 00067 void Compass_Cmd_quit(NuSMVEnv_ptr env); 00068 00071 #endif /* __NUSMV_ADDONS_CORE_COMPASS_COMPASS_CMD_H__ */
