ClusterIwls95 Struct Reference

Iwls'95 Cluster Class. More...

#include <Cluster.h>

Related Functions
(Note that these are not member functions.)
ClusterIwls95_ptr	ClusterIwls95_create (DDMgr_ptr dd, const ClusterOptions_ptr trans_options, const double v_c, const double w_c, const double x_c, const double y_c, const double z_c, const double min_c, const double max_c)
	"ClusterIwls95" Class constructor.
double	ClusterIwls95_get_benefit (const ClusterIwls95_ptr self)
	Returns the value of the "benifit" variable.

---

Detailed Description

Iwls'95 Cluster Class.

This class inherits from the "Cluster" class and also contains a field "benifit" to be used while ordering clusters.

---

Friends And Related Function Documentation

ClusterIwls95_ptr ClusterIwls95_create	(	DDMgr_ptr	dd,
		const ClusterOptions_ptr	trans_options,
		const double	v_c,
		const double	w_c,
		const double	x_c,
		const double	y_c,
		const double	z_c,
		const double	min_c,
		const double	max_c
	)			[related]

"ClusterIwls95" Class constructor.

Allocates and initializes a cluster for IWLS95 alg. Please note that returned object can be casted to a cluster class instance. Use Cluster_destroy to destroy returned instance. The parameters passed to the constructor correspond to cluster options and 7 different factors (v_c, w_c, x_c, y_c, z_c, min_c and max_c) as explained in IWLS95 paper.

See also:

Cluster_destroy Cluster_create

double ClusterIwls95_get_benefit

(

const ClusterIwls95_ptr

self

)

[related]

Returns the value of the "benifit" variable.

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/trans/bdd/Cluster.h