NuSMV/code/nusmv/shell/prop/propCmd.h File Reference

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

Go to the source code of this file.

Functions
void	PropPkg_init_cmd (NuSMVEnv_ptr env)
	Module header file for prop shell commands.
void	PropPkg_quit_cmd (NuSMVEnv_ptr env)
	Quit the prop package for commands.

---

Function Documentation

void PropPkg_init_cmd

(

NuSMVEnv_ptr

env

)

Module header file for prop shell commands.

Author:

Michele Dorigatti Module header file for prop shell commandsAutomaticStart

Initiliaze the prop package for commands Initialize the prop package for commands. This must be called independently from the package initialization function

AutomaticEnd

void PropPkg_quit_cmd

(

NuSMVEnv_ptr

env

)

Quit the prop package for commands.

This must be called independently from the package initialization function