Defines |
| #define | ADD_FOREACH_NODE(manager, f, gen, node) Cudd_ForeachNode(DDMgr_get_dd_manager(manager), f, gen, node) |
| #define | BDD_FOREACH_NODE(manager, f, gen, node) ADD_FOREACH_NODE(manager, f, gen, node) |
| #define | CACHE_SLOTS CUDD_CACHE_SLOTS |
| #define | DEFAULT_MINSIZE 10 |
| #define | DEFAULT_REORDER REORDER_SIFT |
| #define | MAX_VAR_INDEX CUDD_MAXINDEX |
| #define | REORDER_ANNEALING CUDD_REORDER_ANNEALING |
| #define | REORDER_EXACT CUDD_REORDER_EXACT |
| #define | REORDER_GENETIC CUDD_REORDER_GENETIC |
| #define | REORDER_GROUP_SIFT CUDD_REORDER_GROUP_SIFT |
| #define | REORDER_GROUP_SIFT_CONV CUDD_REORDER_GROUP_SIFT_CONV |
| #define | REORDER_LINEAR CUDD_REORDER_LINEAR |
| #define | REORDER_LINEAR_CONV CUDD_REORDER_LINEAR_CONVERGE |
| #define | REORDER_NONE CUDD_REORDER_NONE |
| #define | REORDER_RANDOM CUDD_REORDER_RANDOM |
| #define | REORDER_RANDOM_PIVOT CUDD_REORDER_RANDOM_PIVOT |
| #define | REORDER_SAME CUDD_REORDER_SAME |
| #define | REORDER_SIFT CUDD_REORDER_SIFT |
| #define | REORDER_SIFT_CONV CUDD_REORDER_SIFT_CONVERGE |
| #define | REORDER_SYMM_SIFT CUDD_REORDER_SYMM_SIFT |
| #define | REORDER_SYMM_SIFT_CONV CUDD_REORDER_SYMM_SIFT_CONV |
| #define | REORDER_WINDOW2 CUDD_REORDER_WINDOW2 |
| #define | REORDER_WINDOW2_CONV CUDD_REORDER_WINDOW2_CONV |
| #define | REORDER_WINDOW3 CUDD_REORDER_WINDOW3 |
| #define | REORDER_WINDOW3_CONV CUDD_REORDER_WINDOW3_CONV |
| #define | REORDER_WINDOW4 CUDD_REORDER_WINDOW4 |
| #define | REORDER_WINDOW4_CONV CUDD_REORDER_WINDOW4_CONV |
| #define | UNIQUE_SLOTS CUDD_UNIQUE_SLOTS |
Typedefs |
| typedef DdGen | dd_gen |
| typedef Cudd_ReorderingType | dd_reorderingtype |
| typedef add_ptr(* | FP_A_DA )(DDMgr_ptr, add_ptr) |
| typedef add_ptr(* | FP_A_DAA )(DDMgr_ptr, add_ptr, add_ptr) |
| typedef node_ptr(* | NPFCVT )(CUDD_VALUE_TYPE) |
| typedef node_ptr(* | NPFDD )(DDMgr_ptr, bdd_ptr) |
| typedef node_ptr(* | NPFNNE )(node_ptr, node_ptr, const NuSMVEnv_ptr) |
| typedef void(* | VPFCVT )(CUDD_VALUE_TYPE) |
| typedef void(* | VPFDD )(DDMgr_ptr, bdd_ptr) |
| typedef void(* | VPFDDCVT )(DDMgr_ptr, CUDD_VALUE_TYPE) |
Enumerations |
| enum | DdDynVarOrderAction { DD_DYN_VAR_ORDER_ACTION_DISABLE = 1,
DD_DYN_VAR_ORDER_ACTION_ENABLE,
DD_DYN_VAR_ORDER_ACTION_FORCE
} |
| | The possible actions to control dynamic var reordering.
More...
|
Functions |
| char * | Dd_action_enum_to_str (DdDynVarOrderAction action) |
| DdDynVarOrderAction | Dd_action_str_to_enum (char *action) |
| int | Dd_dynamic_var_ordering (NuSMVEnv_ptr env, DDMgr_ptr dd, int dynOrderingMethod, DdDynVarOrderAction action) |
| | Enable, disable or force to happen the dynamic var reordering.
|
| void | Dd_init (NuSMVEnv_ptr env) |
| | Initializes the DD structures within the given environment.
|
| void | Dd_quit (NuSMVEnv_ptr env) |
| | Deinitializes the DD structures within the given environment.
|
| int | Dd_set_bdd_parameters (NuSMVEnv_ptr env, DDMgr_ptr dd_manager, boolean showAfter) |
| | Prints the user flags of the cudd package so the user can set them.
|
1.6.1