NuSMV/code/nusmv/core/be/bePkg.h File Reference

Go to the source code of this file.

Functions
void	Be_Init (void)
	The package Be initialization interface.
void	Be_Quit (void)

---

Function Documentation

void Be_Init

(

void

)

The package Be initialization interface.

Author:

Roberto Cavada

Todo:

: Missing description

AutomaticStart

void Be_Quit

(

void

)