NuSMV/code/nusmv/shell/fsm/bdd/bddCmd.h File Reference

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

Go to the source code of this file.

Functions
void	Bdd_End (NuSMVEnv_ptr env)
	Quit the BddFsm package.
void	Bdd_Init (NuSMVEnv_ptr env)
	Module header file for bdd shell commands.

---

Function Documentation

void Bdd_End

(

NuSMVEnv_ptr

env

)

Quit the BddFsm package.

Quit the BddFsm package

void Bdd_Init

(

NuSMVEnv_ptr

env

)

Module header file for bdd shell commands.

Author:

Michele Dorigatti Module header file for bdd shell commandsAutomaticStart

Initializes the BddFsm package. Initializes the BddFsm package.

AutomaticEnd