ClusterOptions Struct Reference

The header file of ClusterOptions class. More...

#include <ClusterOptions.h>

Related Functions

(Note that these are not member functions.)



boolean ClusterOptions_clusters_appended (const ClusterOptions_ptr self)
 Returns true if clusters must be appended, false if clusters must be prepended.
ClusterOptions_ptr ClusterOptions_create (OptsHandler_ptr options)
 "ClusterOptions" class constructor.
void ClusterOptions_destroy (ClusterOptions_ptr self)
 ClusterOption class destructor.
int ClusterOptions_get_cluster_size (const ClusterOptions_ptr self)
 Returns the cluster_size field.
int ClusterOptions_get_threshold (const ClusterOptions_ptr self)
 Returns the threshold field.
int ClusterOptions_get_w1 (const ClusterOptions_ptr self)
 Retrieves the parameter w1.
int ClusterOptions_get_w2 (const ClusterOptions_ptr self)
 Retrieves the parameter w2.
int ClusterOptions_get_w3 (const ClusterOptions_ptr self)
 Retrieves the parameter w3.
int ClusterOptions_get_w4 (const ClusterOptions_ptr self)
 Retrieves the parameter w4.
boolean ClusterOptions_is_affinity (const ClusterOptions_ptr self)
 Checks whether Affinity is enabled.
boolean ClusterOptions_is_iwls95_preorder (const ClusterOptions_ptr self)
 Checks whether preordering is enabled.
void ClusterOptions_print (const ClusterOptions_ptr self, FILE *file)
 Prints all the cluster options inside the specified file.

Detailed Description

The header file of ClusterOptions class.

Author:
Roberto Cavada

ClusterOptions Class. This class contains the options to perform ordering of clusters in the IWLS95 partitioning method.
cluster_size is the threshold value used to create clusters. w1, w2 etc are the weights used in the heuristic algorithms to order the clusters for early quantification.


Friends And Related Function Documentation

boolean ClusterOptions_clusters_appended ( const ClusterOptions_ptr  self  )  [related]

Returns true if clusters must be appended, false if clusters must be prepended.

ClusterOptions_ptr ClusterOptions_create ( OptsHandler_ptr  options  )  [related]

"ClusterOptions" class constructor.

Creates a ClusterOptions instance.

void ClusterOptions_destroy ( ClusterOptions_ptr  self  )  [related]

ClusterOption class destructor.

int ClusterOptions_get_cluster_size ( const ClusterOptions_ptr  self  )  [related]

Returns the cluster_size field.

int ClusterOptions_get_threshold ( const ClusterOptions_ptr  self  )  [related]

Returns the threshold field.

int ClusterOptions_get_w1 ( const ClusterOptions_ptr  self  )  [related]

Retrieves the parameter w1.

According to the IWLS95 paper parameter w1 represents the weight attached to the R^1_c( =v_c/w_c) factor.

int ClusterOptions_get_w2 ( const ClusterOptions_ptr  self  )  [related]

Retrieves the parameter w2.

According to the IWLS95 paper parameter w2 represents the weight attached to the R^2_c( =w_c/x_c) factor.

int ClusterOptions_get_w3 ( const ClusterOptions_ptr  self  )  [related]

Retrieves the parameter w3.

According to the IWLS95 paper parameter w3 represents the weight attached to the R^3_c( =y_c/z_c) factor.

int ClusterOptions_get_w4 ( const ClusterOptions_ptr  self  )  [related]

Retrieves the parameter w4.

According to the IWLS95 paper parameter w4 represents the weight attached to the R^4_c( =min_c/max_c) factor.

boolean ClusterOptions_is_affinity ( const ClusterOptions_ptr  self  )  [related]

Checks whether Affinity is enabled.

boolean ClusterOptions_is_iwls95_preorder ( const ClusterOptions_ptr  self  )  [related]

Checks whether preordering is enabled.

void ClusterOptions_print ( const ClusterOptions_ptr  self,
FILE *  file 
) [related]

Prints all the cluster options inside the specified file.


The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1