NuSMV/code/nusmv/core/parser/ord/ordInt.h File Reference

#include "nusmv/core/parser/ord/ParserOrd.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/opt/opt.h"

Functions
YY_BUFFER_STATE	parser_ord__create_buffer (FILE *file, int size)
void	parser_ord__delete_buffer (YY_BUFFER_STATE buf)
YY_BUFFER_STATE	parser_ord__scan_string (const char *str)
void	parser_ord__switch_to_buffer (YY_BUFFER_STATE new_buffer)
ParserOrd_ptr	parser_ord_get_global_parser (void)
int	parser_ord_lex (void)
int	parser_ord_parse (void)
void	parser_ord_reset_global_parser (ParserOrd_ptr parser)
void	parser_ord_restart (FILE *input_file)
void	parser_ord_set_global_parser (ParserOrd_ptr parser)
Variables
FILE *	parser_ord_in
int	parser_ord_lineno

Function Documentation

YY_BUFFER_STATE parser_ord__create_buffer	(	FILE *	file,
		int	size
	)

void parser_ord__delete_buffer ( YY_BUFFER_STATE buf )

YY_BUFFER_STATE parser_ord__scan_string ( const char * str )

void parser_ord__switch_to_buffer ( YY_BUFFER_STATE new_buffer )

ParserOrd_ptr parser_ord_get_global_parser ( void )

int parser_ord_lex ( void )

int parser_ord_parse ( void )

void parser_ord_reset_global_parser ( ParserOrd_ptr parser )

void parser_ord_restart ( FILE * input_file )

void parser_ord_set_global_parser ( ParserOrd_ptr parser )