NuSMV/code/nusmv/core/prop/propPkg.h File Reference

#include "nusmv/core/prop/PropDb.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Functions
void	PropPkg_init (NuSMVEnv_ptr env)
	Prop package-level declarations.
void	PropPkg_quit (NuSMVEnv_ptr env)
	Quits the package.

---

Function Documentation

void PropPkg_init

(

NuSMVEnv_ptr

env

)

Prop package-level declarations.

Author:

Marco Roveri, Roberto Cavada

Todo:

: Missing description

AutomaticStart

Initializes the package: master property and property database are allocated After you had called this, you must also call PropPkg_init_cmd if you need to use the interactive shell for commands

void PropPkg_quit

(

NuSMVEnv_ptr

env

)

Quits the package.