void
Sm_BannerPrintLibrary(
FILE * file
)
- To be used by addons linking against the NuSMV library.
You can use this as banner print function if you don't
need a special banner print function and you are
linking against NuSMV
void
Sm_BannerPrint_cudd(
FILE * file
)
- Prints the banner of cudd.
void
Sm_BannerPrint_minisat(
FILE * file
)
- Prints the banner of minisat.
void
Sm_BannerPrint_nusmv_library(
FILE * file
)
- To be used by tools linking against the NuSMV library
and using custom banner function
void
Sm_BannerPrint_zchaff(
FILE * file
)
- Prints the banner of zchaff.
void
Sm_BannerPrint(
FILE * file
)
- Prints the banner of NuSMV.
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_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
void
Sm_reset_first(
)
- Shuts down and restarts the system, shut down part
- See Also
Sm_reset_last
void
Sm_reset_last(
)
- Shuts down and restarts the system, restart part
- See Also
Sm_reset_first
void
sm_banner_print(
FILE* file,
boolean is_linked
)
- Prints the banner of NuSMV. If is_linked is true,
also the NuSMV library banner is output