NuSMV/code/nusmv/core/node/nodeInt.h File Reference

#include <stdio.h>
#include "nusmv/core/node/node.h"
#include "nusmv/core/opt/opt.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/error.h"
#include "nusmv/core/parser/symbols.h"
#include "nusmv/core/utils/assoc.h"
#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Functions
void	node_init (NuSMVEnv_ptr env)
	The internal header of the node package.
void	node_quit (NuSMVEnv_ptr env)
	De-initializes the node manager.

---

Function Documentation

void node_init

(

NuSMVEnv_ptr

env

)

The internal header of the node package.

Author:

Marco Roveri None

Initializes the node manager. The node manager is initialized.

None

void node_quit

(

NuSMVEnv_ptr

env

)

De-initializes the node manager.

The node manager is de-initialized.

None