NuSMV/code/nusmv/core/cinit/cinitInt.h File Reference

#include "nusmv/core/cinit/cinit.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/compile/compile.h"

Go to the source code of this file.

Functions
void	CInit_batch_main (NuSMVEnv_ptr env)
	The batch main.
void	CInit_end (NuSMVEnv_ptr env)
	Calls the end routines of all the packages.
void	CInit_init (NuSMVEnv_ptr env)
	Internal declarations for the main package.
void	CInit_reset_first (NuSMVEnv_ptr env)
	Shuts down and restarts the system, shut down part.
void	CInit_reset_last (NuSMVEnv_ptr env)
	Shuts down and restarts the system, restart part.
Variables
cmp_struct_ptr	cmps
node_ptr	parsed_tree

---

Function Documentation

void CInit_batch_main

(

NuSMVEnv_ptr

env

)

The batch main.

The batch main. It first read the input file, than flatten the hierarchy. After this preliminar phase it creates the boolean variables necessary for the encoding and then starts compiling the read model into BDD. Now computes the reachable states depending if the flag has been set. Before starting verifying if the properties specified in the model hold or not it computes the fairness constraints. You can also activate the reordering and also choose to avoid the verification of the properties.

void CInit_end

(

NuSMVEnv_ptr

env

)

Calls the end routines of all the packages.

Todo:

Missing description

Closes the output files if not the standard ones.

See also:

CInit_Init

void CInit_init

(

NuSMVEnv_ptr

env

)

Internal declarations for the main package.

Author:

Adapted to NuSMV by Marco Roveri

Todo:

: Missing description

Calls the initialization routines of all the packages.

Todo:

Missing description

Sets the global variables outstream, errstream, nusmv_historyFile.

See also:

SmEnd

void CInit_reset_first

(

NuSMVEnv_ptr

env

)

Shuts down and restarts the system, shut down part.

Shuts down and restarts the system, shut down part

See also:

CInit_reset_last

void CInit_reset_last

(

NuSMVEnv_ptr

env

)

Shuts down and restarts the system, restart part.

Shuts down and restarts the system, restart part

See also:

CInit_reset_first

---

Variable Documentation

cmp_struct_ptr cmps

node_ptr parsed_tree