NuSMV/code/nusmv/core/bmc/sbmc/sbmcPkg.h File Reference

#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Functions
void	SBmc_Init (NuSMVEnv_ptr env)
	Public interface for any package-related functionality.
void	SBmc_Quit (NuSMVEnv_ptr env)
	Frees all resources allocated for SBMC.

---

Function Documentation

void SBmc_Init

(

NuSMVEnv_ptr

env

)

Public interface for any package-related functionality.

Author:

Timo Latvala, Marco Roveri

Todo:

: Missing description

AutomaticStart

Initializes the SBMC sub package Initializes the SBMC sub package

void SBmc_Quit

(

NuSMVEnv_ptr

env

)

Frees all resources allocated for SBMC.

Frees all resources allocated for the SBMC model manager