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/23 08h:40