-
Parser_CloseInputPP()
- Close the input file
-
Parser_CloseInput()
- Close the input file
-
Parser_Init()
- Initializes the parser
-
Parser_OpenInputPP()
- Open a file and inform the parser to read from it
-
Parser_OpenInput()
- Open a file and inform the parser to read from it
-
Parser_ReadCmdFromString()
- Parse a comand from a given string.
-
Parser_ReadSMVFromFile()
- Parse SMV code from a given file.
Last updated on 2004/06/10 13h:33