void
Sm_BannerPrint_cudd(
FILE * file,
char* name
)
- Prints the banner of cudd.
void
Sm_BannerPrint_minisat(
FILE * file,
char* name
)
- Prints the banner of minisat.
void
Sm_BannerPrint_nusmv_library(
FILE * file,
char* name
)
- To be used by addons linking against the NuSMV library.
void
Sm_BannerPrint_zchaff(
FILE * file,
char* name
)
- Prints the banner of zchaff.
void
Sm_BannerPrint(
FILE * file
)
- Prints the banner of NuSMV.
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
int
Sm_NusmvrcSource(
)
- Sources the .nusmvrc file. Always sources the .nusmvrc from
library. Then source the .nusmvrc from the home directory. If there is none
in the home directory, then execute the one in the current directory if one
is present. Returns 1 if scripts were successfully executed, else return 0.
- See Also
optional
void
Sm_Reset(
)
- Shuts down and restarts the system
void
sm_ParseLineOptions(
int argc,
char ** argv,
OptsHandler_ptr options
)
- Parses the command line options.