NuSMV/code/nusmv/addons_core/compass/compass.h File Reference

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/enc/bdd/BddEnc.h"
#include "nusmv/core/fsm/bdd/BddFsm.h"
#include "nusmv/core/dd/dd.h"

Go to the source code of this file.

Functions
void	Compass_init (NuSMVEnv_ptr env)
	The header file of the compass addon.
int	Compass_print_add_sigref_format (DDMgr_ptr dd, add_ptr add, FILE *file, boolean do_indent)
	Prints recursively an ADD node. <dd_node ... </dd_node>.
void	Compass_quit (NuSMVEnv_ptr env)
	Deinitializes the addon.
void	Compass_reset (NuSMVEnv_ptr env)
	Reinitializes the addon.
int	Compass_write_language_sigref (BddEnc_ptr enc, FILE *file)
	Handles the piece of sigref format regarding the language (<variables> ... </variables>).
int	Compass_write_sigref (NuSMVEnv_ptr env, BddFsm_ptr fsm, FILE *sigref_file, FILE *prob_file, FILE *ap_file, Expr_ptr tau, boolean do_indent)

---

Function Documentation

void Compass_init

(

NuSMVEnv_ptr

env

)

The header file of the compass addon.

Author:

Roberto Cavada The compass implementation package

Initializes the addon

int Compass_print_add_sigref_format	(	DDMgr_ptr	dd,
		add_ptr	add,
		FILE *	file,
		boolean	do_indent
	)

Prints recursively an ADD node. <dd_node ... </dd_node>.

Returns 0 if successful, a negative number if an occurs

void Compass_quit

(

NuSMVEnv_ptr

env

)

Deinitializes the addon.

void Compass_reset

(

NuSMVEnv_ptr

env

)

Reinitializes the addon.

int Compass_write_language_sigref	(	BddEnc_ptr	enc,
		FILE *	file
	)

Handles the piece of sigref format regarding the language (<variables> ... </variables>).

Returns 0 if successful, a negative number if an occurs

int Compass_write_sigref	(	NuSMVEnv_ptr	env,
		BddFsm_ptr	fsm,
		FILE *	sigref_file,
		FILE *	prob_file,
		FILE *	ap_file,
		Expr_ptr	tau,
		boolean	do_indent
	)