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_ReadFromString()
Parses from a given string.

Last updated on 990908 16h51