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


Last updated on 2011/04/06 21h:13