void
Sm_End(
)
- Calls the end routines of all the packages.
- Side Effects Closes the output files if not the standard ones.
- See Also
Sm_Init
void
Sm_Init(
)
- Calls the initialization routines of all the packages.
- Side Effects Sets the global variables nusmv_stdout, nusmv_stderr,
nusmv_historyFile.
- See Also
SmEnd
int
Sm_NuSMVEndPrintMore(
)
- This function is called to terminate piping
stdout through "more". It is important to call Sm_NuSMVEndPrintMore before exiting
your function (preferably at the end of your printing; failing to do so will cause
the stdin lines not to appear). The function returns a 0 if it fails.
- See Also
Sm_NuSMVInitPrintMore
void
Sm_NuSMVInitPrintMore(
)
- This function is called to initialize piping
stdout through "more". It is important to call Sm_NuSMVEndPrintMore before
returning from your function and after
calling Sm_NuSMVInitPrintMore (preferably at the end of your printing;
failing to do so will cause the stdin lines not to appear).
- See Also
Sm_NuSMVEndPrintMore
char*
Sm_NuSMVObtainLibrary(
)
- Returns a string giving the directory which contains the
standard NuSMV library. Used to find things like the default .nusmvrc, the
on-line help files, etc. It is the responsibility of the user to free the
returned string.
- See Also
Sm_NuSMVReadVersion
char*
Sm_NuSMVReadVersion(
)
- Returns a static string giving the NuSMV version and compilation
timestamp. The user should not free this string.
- See Also
Sm_NuSMVObtainLibrary
void
Sm_Reset(
)
- Shuts down and restarts the system
void
sm_ParseLineOptions(
int argc,
char ** argv,
options_ptr options
)
- Parses the command line options.