CommandReadModel()
Reads a NuSMV file into NuSMV.
Parser_CloseInput()
Close the input file
Parser_Init()
Initializes the parser
Parser_Quit()
Deinitializes the parser
Parser_ReadCmdFromFile()
Parse a command expression from file
Parser_ReadCmdFromString()
Parse a comand from a given string.
Parser_ReadIdentifierExprFromString()
Parse an identifier expression from string
Parser_ReadLtlExprFromFile()
Parse LTL expression from a given file.
Parser_ReadNextExprFromFile()
Parse a next expression from file
Parser_ReadNextExprFromString()
Parse a next expression from string
Parser_ReadSMVFromFile()
Parse SMV code from a given file.
Parser_ReadSimpExprFromString()
Parse a simple expression from string
Parser_get_syntax_errors_list()
Returns a list of SYNTAX_ERROR nodes
Parser_get_syntax_error()
Returns information out of nodes contained in list returned by Parser_get_syntax_errors_list.
Parser_print_syntax_error()
Prints information contained in one node ot the list returned by Parser_get_syntax_errors_list.
Parser_read_psl_from_file()
Parses a PSL expression from the given file.
Parser_read_psl_from_string()
Parses a PSL expression from the given string.
parser_add_syntax_error()
Add a new syntax error to the list
parser_close_input_pp()
Close the input file
parser_free_parsed_syntax_errors()
Frees the list of structures containing the syntax errors built by the parser.
parser_open_input_pp()
Open a file and inform the parser to read from it
()
Open a file and inform the parser to read from it

Last updated on 2012/11/18 14h:37