NuSMV/code/nusmv/addons_core/addonsCore.h File Reference

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

Go to the source code of this file.

Functions
void	AddonsCore_Init (NuSMVEnv_ptr env)
	required
void	AddonsCore_Quit (NuSMVEnv_ptr env)
	Quit the Addons core Sub-Packages.
void	AddonsCore_Reset (NuSMVEnv_ptr env)
	Reset the Addons core Sub-Packages.

---

Function Documentation

void AddonsCore_Init

(

NuSMVEnv_ptr

env

)

required

Author:

Marco Roveri optionalAutomaticStart

Initialization of the AddonsCore Sub-Packages Initialization of the AddonsCore Sub-Packages

Sub-Packages are initialized with possible side effects on some global variables (e.g., shell commands)

See also:

optional

void AddonsCore_Quit

(

NuSMVEnv_ptr

env

)

Quit the Addons core Sub-Packages.

Quit the Addons core Sub-Packages

Quits all the structures used by the Addons core Sub-Packages

See also:

optional

void AddonsCore_Reset

(

NuSMVEnv_ptr

env

)

Reset the Addons core Sub-Packages.

Reset the Addons core Sub-Packages

Reset all the structures used by the Addons core Sub-Packages

See also:

optional