CommandReadModel()
Reads a NuSMV file into NuSMV.
Parser_CloseInput()
Close the input file
Parser_Init()
Initializes the parser
Parser_OpenInput()
Open a file and inform the parser to read from it
Parser_ReadCmdFromString()
Parse a comand from a given string.
Parser_ReadLtlExprFromFile()
Parse LTL expression from a given file.
Parser_ReadSMVFromFile()
Parse SMV code from a given file.
Parser_read_psl_from_string()
Parses a PSL expression from the given string.
parser_close_input_pp()
Close the input file
parser_open_input_pp()
Open a file and inform the parser to read from it

Last updated on 2009/01/30 14h:53