NuSMV/code/nusmv/core/opt/optPkg.h File Reference

Go to the source code of this file.

Functions
void	Opt_Pkg_deinit (NuSMVEnv_ptr const env)
	De-initialize the options in the given environment.
void	Opt_Pkg_init (NuSMVEnv_ptr const env)
	module header file for package handling

---

Function Documentation

void Opt_Pkg_deinit

(

NuSMVEnv_ptr const

env

)

De-initialize the options in the given environment.

The NuSMV options are deinitialized within the given environment

Environment requisites:

• A OptsHandler instance registered with key ENV_OPTS_HANDLER

void Opt_Pkg_init

(

NuSMVEnv_ptr const

env

)

module header file for package handling

Author:

Michele Dorigatti module header file for package handlingAutomaticStart

Initialize the NuSMV options. The NuSMV options are initialized. A pointer to a structure containing the NuSMV options is allocated, its fields are initialized within the given Environment

Environment requisites:

• No instances registered with key ENV_OPTS_HANDLER