-
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