parser.h
parserInt.h
parserCmd.c
parserUtil.c
By: Marco Roveri
By: Marco Roveri
By: Marco Roveri
Provides command for reading the NuSMV input file and build an internal representation of it.
Parser_Init()
CommandReadModel()
By: Marco Roveri
This file contains some parser utilities that allows for example to parse from a string, instead that from a file.
Parser_OpenInput()
Parser_CloseInput()
Parser_ReadSMVFromFile()
Parser_ReadCmdFromString()
Parser_read_psl_from_string()
parser_open_input_pp()
parser_close_input_pp()