NuSMV/code/nusmv/core/compile/symb_table/symb_table_int.h File Reference

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

Go to the source code of this file.

Functions
void	SymbTablePkg_init (NuSMVEnv_ptr env)
	Initialises the class package.
void	SymbTablePkg_quit (NuSMVEnv_ptr env)
	Shut down the package.
Variables
int	nusmv_yylineno
	The private interface of the package compile.symb_table.

---

Function Documentation

void SymbTablePkg_init

(

NuSMVEnv_ptr

env

)

Initialises the class package.

This initialisation can be performed only after the Node package and the variable boolean_range have been initialised.

void SymbTablePkg_quit

(

NuSMVEnv_ptr

env

)

Shut down the package.

WARNING: the package de-initialisation destroys types created with the function SymbTablePkg_..._type.

NB: The reason behind this constrain is the following: these functions exploit memory sharing, and this memory is freed during de-initialisation.

In any case, the de-initialisation is performed by system "reset" command, and this command also frees all node_ptr, so in any case the symbolic types will be unusable, because they use node_ptr inside. SO, DESTROY ALL SYMBOLIC TYPES CREATED SO FAR BEFORE THE symb_table PACKAGE DE-INITIALISATION!

---

Variable Documentation

int nusmv_yylineno

The private interface of the package compile.symb_table.

Author:

Roberto Cavada

Todo:

: Missing description