NuSMV/code/nusmv/shell/parser/parserCmd.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 00004 This file is part of the ``parser'' package. 00005 %COPYRIGHT% 00006 00007 00008 -----------------------------------------------------------------------------*/ 00009 00019 #ifndef __NUSMV_SHELL_PARSER_PARSER_CMD_H__ 00020 #define __NUSMV_SHELL_PARSER_PARSER_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 /* Macro declarations */ 00044 /*---------------------------------------------------------------------------*/ 00045 00046 00049 /*---------------------------------------------------------------------------*/ 00050 /* Function prototypes */ 00051 /*---------------------------------------------------------------------------*/ 00052 00058 void Parser_Cmd_init(NuSMVEnv_ptr env); 00059 00062 #endif /* __NUSMV_SHELL_PARSER_PARSER_CMD_H__ */
