NuSMV/code/nusmv/shell/mc/mcCmd.h File Reference

Go to the source code of this file.

Functions
void	Mc_End (NuSMVEnv_ptr env)
	Quit the mc package.
void	Mc_Init (NuSMVEnv_ptr env)
	Module header file for shell commands.

---

Function Documentation

void Mc_End

(

NuSMVEnv_ptr

env

)

Quit the mc package.

Quit the mc package

void Mc_Init

(

NuSMVEnv_ptr

env

)

Module header file for shell commands.

Author:

Michele Dorigatti

Todo:

: Missing description

AutomaticStart

Initializes the mc package. Initializes the mc package.