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.


Last updated on 2009/01/30 14h:53