NuSMV/code/nusmv/addons_core/compass/parser/prob/probInt.h
Go to the documentation of this file.00001 00040 #ifndef __NUSMV_ADDONS_CORE_COMPASS_PARSER_PROB_PROB_INT_H__ 00041 #define __NUSMV_ADDONS_CORE_COMPASS_PARSER_PROB_PROB_INT_H__ 00042 00043 #include "nusmv/addons_core/compass/parser/prob/ParserProb.h" 00044 #include "nusmv/core/utils/utils.h" 00045 #include "nusmv/core/opt/opt.h" 00046 00047 00048 /*---------------------------------------------------------------------------*/ 00049 /* Type declarations */ 00050 /*---------------------------------------------------------------------------*/ 00051 #ifndef YY_TYPEDEF_YY_BUFFER_STATE 00052 #define YY_TYPEDEF_YY_BUFFER_STATE 00053 typedef struct yy_buffer_state* YY_BUFFER_STATE; 00054 #endif 00055 00056 00057 /*---------------------------------------------------------------------------*/ 00058 /* Variable declarations */ 00059 /*---------------------------------------------------------------------------*/ 00060 00061 extern int parser_prob_lineno; 00062 extern FILE* parser_prob_in; 00063 00064 00065 /*---------------------------------------------------------------------------*/ 00066 /* Function prototypes */ 00067 /*---------------------------------------------------------------------------*/ 00068 00069 void parser_prob_set_global_parser(ParserProb_ptr parser); 00070 void parser_prob_reset_global_parser(ParserProb_ptr parser); 00071 ParserProb_ptr parser_prob_get_global_parser(void); 00072 00073 00074 /* from generated code: */ 00075 int parser_prob_lex(void); 00076 int parser_prob_parse(void); 00077 void parser_prob_restart(FILE* input_file); 00078 00079 void 00080 parser_prob__switch_to_buffer(YY_BUFFER_STATE new_buffer); 00081 00082 YY_BUFFER_STATE 00083 parser_prob__create_buffer(FILE* file, int size); 00084 00085 void parser_prob__delete_buffer(YY_BUFFER_STATE buf); 00086 00087 YY_BUFFER_STATE 00088 parser_prob__scan_string(const char* str); 00089 00090 00091 #endif /* __NUSMV_ADDONS_CORE_COMPASS_PARSER_PROB_PROB_INT_H__ */
