void
CInit_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
CInit_BannerPrint_cudd(
FILE * file
)
- Prints the banner of cudd.
void
CInit_BannerPrint_minisat(
FILE * file
)
- Prints the banner of minisat.
void
CInit_BannerPrint_nusmv_library(
FILE * file
)
- To be used by tools linking against the NuSMV library
and using custom banner function
void
CInit_BannerPrint_zchaff(
FILE * file
)
- Prints the banner of zchaff.
void
CInit_BannerPrint(
FILE * file
)
- Prints the banner of NuSMV.
int
CInit_NuSMVEndPrintMore(
)
- This function is called to terminate piping
stdout through "more". It is important to call
CInit_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
CInit_NuSMVInitPrintMore
void
CInit_NuSMVInitPrintMore(
)
- This function is called to initialize piping
stdout through "more". It is important to call
CInit_NuSMVEndPrintMore before returning from
your function and after calling
CInit_NuSMVInitPrintMore (preferably at the end
of your printing; failing to do so will cause
the stdin lines not to appear).
- See Also
CInit_NuSMVEndPrintMore
char*
CInit_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
CInit_NuSMVReadVersion
char*
CInit_NuSMVReadVersion(
)
- Returns a static string giving the NuSMV version and compilation
timestamp. The user should not free this string.
- See Also
CInit_NuSMVObtainLibrary
int
CInit_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
CInit_end(
)
- Calls the end routines of all the packages.
- Side Effects Closes the output files if not the standard ones.
- See Also
CInit_Init
void
CInit_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
CInit_reset_first(
)
- Shuts down and restarts the system, shut down part
- See Also
CInit_reset_last
void
CInit_reset_last(
)
- Shuts down and restarts the system, restart part
- See Also
CInit_reset_first
void
cinit_banner_print(
FILE* file,
boolean is_linked
)
- Prints the banner of NuSMV. If is_linked is true,
also the NuSMV library banner is output