void BddTrans_apply_synchronous_product( BddTrans_ptr self, const BddTrans_ptr other, bdd_ptr state_vars_cube, bdd_ptr input_vars_cube, bdd_ptr next_state_vars_cube )
BddTrans.c
BddTrans_ptr BddTrans_create( DdManager* dd_manager, const ClusterList_ptr clusters_bdd, bdd_ptr state_vars_cube, bdd_ptr input_vars_cube, bdd_ptr next_state_vars_cube, const TransType trans_type, const ClusterOptions_ptr cl_options )
BddTrans.c
bdd_ptr BddTrans_get_backward_image_state_input( const BddTrans_ptr self, bdd_ptr s )
BddTrans.c
bdd_ptr BddTrans_get_backward_image_state( const BddTrans_ptr self, bdd_ptr s )
BddTrans.c
ClusterList_ptr BddTrans_get_backward( const BddTrans_ptr self )
BddTrans.c
bdd_ptr BddTrans_get_forward_image_state_input( const BddTrans_ptr self, bdd_ptr s )
BddTrans.c
bdd_ptr BddTrans_get_forward_image_state( const BddTrans_ptr self, bdd_ptr s )
BddTrans.c
ClusterList_ptr BddTrans_get_forward( const BddTrans_ptr self )
BddTrans.c
bdd_ptr BddTrans_get_k_backward_image_state_input( const BddTrans_ptr self, bdd_ptr s, int k )
BddTrans.c
bdd_ptr BddTrans_get_k_backward_image_state( const BddTrans_ptr self, bdd_ptr s, int k )
BddTrans.c
bdd_ptr BddTrans_get_k_forward_image_state_input( const BddTrans_ptr self, bdd_ptr s, int k )
BddTrans.c
bdd_ptr BddTrans_get_k_forward_image_state( const BddTrans_ptr self, bdd_ptr s, int k )
BddTrans.c
void BddTrans_print_short_info( const BddTrans_ptr self, FILE* file )
BddTrans.c
ClusterIwls95_ptr ClusterIwls95_create( DdManager* dd, const ClusterOptions_ptr cl_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 )
Cluster_destroy
Cluster_create
Cluster.c
double ClusterIwls95_get_benefit( const ClusterIwls95_ptr self )
Cluster.c
boolean ClusterListIterator_is_end( const ClusterListIterator_ptr self )
ClusterList.c
ClusterListIterator_ptr ClusterListIterator_next( const ClusterListIterator_ptr self )
ClusterList.c
void ClusterList_append_cluster( ClusterList_ptr self, Cluster_ptr cluster )
ClusterList.c
ClusterList_ptr ClusterList_apply_iwls95_partition( const ClusterList_ptr self, bdd_ptr state_vars_cube, bdd_ptr input_vars_cube, bdd_ptr next_state_vars_cube, const ClusterOptions_ptr cl_options )
ClusterList.c
ClusterList_ptr ClusterList_apply_monolithic( const ClusterList_ptr self )
ClusterList.c
void ClusterList_apply_synchronous_product( ClusterList_ptr self, const ClusterList_ptr other )
ClusterList.c
ClusterList_ptr ClusterList_apply_threshold( const ClusterList_ptr self, const ClusterOptions_ptr cl_options )
ClusterList.c
ClusterListIterator_ptr ClusterList_begin( const ClusterList_ptr self )
ClusterList.c
void ClusterList_build_schedule( ClusterList_ptr self, bdd_ptr state_vars_cube, bdd_ptr input_vars_cube )
ClusterList.c
boolean ClusterList_check_equality( const ClusterList_ptr self, const ClusterList_ptr other )
ClusterList.c
boolean ClusterList_check_schedule( const ClusterList_ptr self )
ClusterList.c
ClusterList_ptr ClusterList_copy( const ClusterList_ptr self )
ClusterList.c
ClusterList_ptr ClusterList_create( DdManager* dd )
ClusterList.c
void ClusterList_destroy( ClusterList_ptr self )
ClusterList.c
bdd_ptr ClusterList_get_clusters_cube( const ClusterList_ptr self )
ClusterList.c
Cluster_ptr ClusterList_get_cluster( const ClusterList_ptr self, const ClusterListIterator_ptr iter )
ClusterList.c
bdd_ptr ClusterList_get_image_state_input( const ClusterList_ptr self, bdd_ptr s )
ClusterList.c
bdd_ptr ClusterList_get_image_state( const ClusterList_ptr self, bdd_ptr s )
ClusterList.c
bdd_ptr ClusterList_get_k_image_state_input( const ClusterList_ptr self, bdd_ptr s, int k )
ClusterList.c
bdd_ptr ClusterList_get_k_image_state( const ClusterList_ptr self, bdd_ptr s, int k )
ClusterList.c
bdd_ptr ClusterList_get_monolithic_bdd( const ClusterList_ptr self )
ClusterList.c
int ClusterList_length( const ClusterList_ptr self )
ClusterList.c
void ClusterList_prepend_cluster( ClusterList_ptr self, Cluster_ptr cluster )
ClusterList.c
void ClusterList_print_short_info( const ClusterList_ptr self, FILE* file )
ClusterList.c
int ClusterList_remove_cluster( ClusterList_ptr self, Cluster_ptr cluster )
ClusterList.c
void ClusterList_reverse( ClusterList_ptr self )
ClusterList.c
void ClusterList_set_cluster( ClusterList_ptr self, const ClusterListIterator_ptr iter, Cluster_ptr cluster )
ClusterList.c
boolean ClusterOptions_clusters_appended( const ClusterOptions_ptr self )
ClusterOptions.c
ClusterOptions_ptr ClusterOptions_create( OptsHandler_ptr opt )
ClusterOptions.c
void ClusterOptions_destroy( ClusterOptions_ptr self )
ClusterOptions.c
int ClusterOptions_get_cluster_size( const ClusterOptions_ptr self )
ClusterOptions.c
int ClusterOptions_get_threshold( const ClusterOptions_ptr self )
ClusterOptions.c
int ClusterOptions_get_w1( const ClusterOptions_ptr self )
ClusterOptions.c
int ClusterOptions_get_w2( const ClusterOptions_ptr self )
ClusterOptions.c
int ClusterOptions_get_w3( const ClusterOptions_ptr self )
ClusterOptions.c
int ClusterOptions_get_w4( const ClusterOptions_ptr self )
ClusterOptions.c
boolean ClusterOptions_is_affinity( const ClusterOptions_ptr self )
ClusterOptions.c
boolean ClusterOptions_is_iwls95_preorder( const ClusterOptions_ptr self )
ClusterOptions.c
void ClusterOptions_print( const ClusterOptions_ptr self, FILE* file )
ClusterOptions.c
Cluster_ptr Cluster_create( DdManager* dd )
Object_destroy
Cluster.c
bdd_ptr Cluster_get_quantification_state_input( const Cluster_ptr self )
Cluster.c
bdd_ptr Cluster_get_quantification_state( const Cluster_ptr self )
Cluster.c
bdd_ptr Cluster_get_trans( const Cluster_ptr self )
Cluster.c
boolean Cluster_is_equal( const Cluster_ptr self, const Cluster_ptr other )
Cluster.c
void Cluster_set_quantification_state_input( Cluster_ptr self, DdManager* dd, bdd_ptr new )
Cluster.c
void Cluster_set_quantification_state( Cluster_ptr self, DdManager* dd, bdd_ptr new )
Cluster.c
void Cluster_set_trans( Cluster_ptr self, DdManager* dd, bdd_ptr current )
Cluster.c
static af_support_pair* af_support_pair_create( )
ClusterList.c
static Object_ptr bdd_trans_copy( const Object_ptr object )
BddTrans.c
static boolean bdd_trans_debug_partitioned( const BddTrans_ptr self, const ClusterList_ptr basic_clusters, FILE* file )
BddTrans.c
static void cluster_copy_aux( const Cluster_ptr self, Cluster_ptr copy )
cluster_copy
Cluster.c
static Object_ptr cluster_copy( const Object_ptr object )
cluster_copy_aux
Cluster.c
static void cluster_deinit( Cluster_ptr self, DdManager* dd )
Cluster.c
static void cluster_finalize( Object_ptr object, void* arg )
Cluster.c
static void cluster_init( Cluster_ptr self, DdManager* dd )
Cluster.c
static void cluster_iwls95_copy_aux( const ClusterIwls95_ptr self, ClusterIwls95_ptr copy )
cluster_iwls95_copy
Cluster.c
static Object_ptr cluster_iwls95_copy( const Object_ptr object )
cluster_iwls95_copy_aux
Cluster.c
static void cluster_iwls95_deinit( ClusterIwls95_ptr self, DdManager* dd )
Cluster.c
static void cluster_iwls95_finalize( Object_ptr object, void* arg )
Cluster.c
static void cluster_iwls95_init( ClusterIwls95_ptr self, DdManager* dd, const ClusterOptions_ptr cl_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 )
Cluster.c
static ClusterList_ptr cluster_list_apply_iwls95_info( const ClusterList_ptr self, bdd_ptr state_vars_cube, bdd_ptr input_vars_cube, bdd_ptr next_state_vars_cube, const ClusterOptions_ptr cl_options )
ClusterList.c
static ClusterList_ptr cluster_list_apply_threshold_affinity( const ClusterList_ptr self, const int threshold, const boolean append )
ClusterList.c
static ClusterList_ptr cluster_list_apply_threshold( const ClusterList_ptr self, const int threshold, const boolean append )
ClusterList.c
static ClusterList_ptr cluster_list_copy( const ClusterList_ptr self, const boolean weak_copy )
cluster_list_destroy_weak
ClusterList.c
static void cluster_list_destroy_weak( ClusterList_ptr self )
ClusterList.c
static bdd_ptr cluster_list_get_supp_Q_Ci( const ClusterList_ptr self, const Cluster_ptr Ci )
ClusterList.c
static ClusterList_ptr cluster_list_iwls95_order( const ClusterList_ptr self, bdd_ptr state_vars_cube, bdd_ptr input_vars_cube, bdd_ptr next_state_vars_cube, const ClusterOptions_ptr cl_options )
ClusterList.c
static int clusterlist_affinity_move_clusters( const ClusterList_ptr self, ClusterList_ptr new_list, const int threshold, const boolean append, node_ptr* list_ref, heap _heap )
ClusterList.c
static void clusterlist_build_schedule_recur( ClusterList_ptr self, const ClusterListIterator_ptr iter, const bdd_ptr s_cube, const bdd_ptr si_cube, bdd_ptr* acc_s, bdd_ptr* acc_si )
ClusterList.c
static double compute_bdd_affinity( DdManager* dd, bdd_ptr a, bdd_ptr b )
ClusterList.c
static double compute_bdd_affinity( DdManager* dd, bdd_ptr a, bdd_ptr b )
ClusterList.c
static void support_list_del( af_support_list_entry* asle )
ClusterList.c
static af_support_list_entry* support_list_entry_create( )
ClusterList.c
static node_ptr support_list_heap_add( node_ptr list, heap _heap, DdManager* dd, Cluster_ptr cluster )
ClusterList.c
( )
ClusterList.c
( )
ClusterList_apply_threshold
cluster_list_apply_threshold_affinity
ClusterList.c
( )
ClusterList.c