NuSMV/code/nusmv/addons_core/compass/parser/ap/apInt.h File Reference

#include "nusmv/addons_core/compass/parser/ap/ParserAp.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/opt/opt.h"

Go to the source code of this file.

Functions
YY_BUFFER_STATE	parser_ap__create_buffer (FILE *file, int size)
void	parser_ap__delete_buffer (YY_BUFFER_STATE buf)
YY_BUFFER_STATE	parser_ap__scan_string (const char *str)
void	parser_ap__switch_to_buffer (YY_BUFFER_STATE new_buffer)
ParserAp_ptr	parser_ap_get_global_parser (void)
int	parser_ap_lex (void)
int	parser_ap_parse (void)
void	parser_ap_reset_global_parser (ParserAp_ptr parser)
void	parser_ap_restart (FILE *input_file)
void	parser_ap_set_global_parser (ParserAp_ptr parser)
Variables
FILE *	parser_ap_in
int	parser_ap_lineno

---

Function Documentation

YY_BUFFER_STATE parser_ap__create_buffer	(	FILE *	file,
		int	size
	)

void parser_ap__delete_buffer

(

YY_BUFFER_STATE

buf

)

YY_BUFFER_STATE parser_ap__scan_string

(

const char *

str

)

void parser_ap__switch_to_buffer

(

YY_BUFFER_STATE

new_buffer

)

ParserAp_ptr parser_ap_get_global_parser

(

void

)

int parser_ap_lex

(

void

)

int parser_ap_parse

(

void

)

void parser_ap_reset_global_parser

(

ParserAp_ptr

parser

)

void parser_ap_restart

(

FILE *

input_file

)

void parser_ap_set_global_parser

(

ParserAp_ptr

parser

)

---

Variable Documentation

FILE* parser_ap_in

int parser_ap_lineno