Defines |
| #define | _BDDUSERH |
| #define | ARGS(args) args |
| #define | BDD_TYPE_NONTERMINAL 0 |
| #define | BDD_TYPE_ZERO 1 |
| #define | BDD_TYPE_ONE 2 |
| #define | BDD_TYPE_POSVAR 3 |
| #define | BDD_TYPE_NEGVAR 4 |
| #define | BDD_TYPE_OVERFLOW 5 |
| #define | BDD_TYPE_CONSTANT 6 |
| #define | BDD_UNDUMP_FORMAT 1 |
| #define | BDD_UNDUMP_OVERFLOW 2 |
| #define | BDD_UNDUMP_IOERROR 3 |
| #define | BDD_UNDUMP_EOF 4 |
| #define | bdd_naming_fn_none ((char *(*)(cmu_bdd_manager, bdd, pointer))0) |
| #define | bdd_terminal_id_fn_none ((char *(*)(cmu_bdd_manager, INT_PTR, INT_PTR, pointer))0) |
| #define | cmu_bdd_reorder_none ((void (*)(cmu_bdd_manager))0) |
| #define | mtbdd_transform(bddm, f) (cmu_bdd_not(bddm, f)) |
Typedefs |
| typedef struct bdd_ * | bdd |
| typedef struct bdd_manager_ * | cmu_bdd_manager |
| typedef struct block_ * | block |
Functions |
| bdd cmu_bdd_one | ARGS ((cmu_bdd_manager)) |
| bdd cmu_bdd_new_var_before | ARGS ((cmu_bdd_manager, bdd)) |
| bdd cmu_bdd_var_with_index | ARGS ((cmu_bdd_manager, long)) |
| bdd cmu_bdd_ite | ARGS ((cmu_bdd_manager, bdd, bdd, bdd)) |
| bdd cmu_bdd_and | ARGS ((cmu_bdd_manager, bdd, bdd)) |
| int cmu_bdd_cache_ratio | ARGS ((cmu_bdd_manager, int)) |
| void cmu_bdd_overflow_closure | ARGS ((cmu_bdd_manager, void(*) ARGS((cmu_bdd_manager, pointer)), pointer)) |
| void cmu_bdd_stats | ARGS ((cmu_bdd_manager, FILE *)) |
| cmu_bdd_manager cmu_bdd_init | ARGS ((void)) |
| int cmu_bdd_new_assoc | ARGS ((cmu_bdd_manager, bdd *, int)) |
| bdd bdd_apply2 | ARGS ((cmu_bdd_manager, bdd(*) ARGS((cmu_bdd_manager, bdd *, bdd *, pointer)), bdd, bdd, pointer)) |
| bdd bdd_apply1 | ARGS ((cmu_bdd_manager, bdd(*) ARGS((cmu_bdd_manager, bdd *, pointer)), bdd, pointer)) |
| long cmu_bdd_size | ARGS ((cmu_bdd_manager, bdd, int)) |
| void cmu_bdd_profile | ARGS ((cmu_bdd_manager, bdd, long *, int)) |
| void cmu_bdd_profile_multiple | ARGS ((cmu_bdd_manager, bdd *, long *, int)) |
| void cmu_bdd_function_profile | ARGS ((cmu_bdd_manager, bdd, long *)) |
void
cmu_bdd_function_profile_multiple | ARGS ((cmu_bdd_manager, bdd *, long *)) |
| void cmu_bdd_print_bdd | ARGS ((cmu_bdd_manager, bdd, char *(*) ARGS((cmu_bdd_manager, bdd, pointer)), char *(*) ARGS((cmu_bdd_manager, INT_PTR, INT_PTR, pointer)), pointer, FILE *)) |
| void cmu_bdd_print_profile_aux | ARGS ((cmu_bdd_manager, long *, char *(*) ARGS((cmu_bdd_manager, bdd, pointer)), pointer, int, FILE *)) |
| void cmu_bdd_print_profile | ARGS ((cmu_bdd_manager, bdd, char *(*) ARGS((cmu_bdd_manager, bdd, pointer)), pointer, int, FILE *)) |
| void cmu_bdd_print_profile_multiple | ARGS ((cmu_bdd_manager, bdd *, char *(*) ARGS((cmu_bdd_manager, bdd, pointer)), pointer, int, FILE *)) |
| int cmu_bdd_dump_bdd | ARGS ((cmu_bdd_manager, bdd, bdd *, FILE *)) |
| bdd cmu_bdd_undump_bdd | ARGS ((cmu_bdd_manager, bdd *, FILE *, int *)) |
| void cmu_bdd_support | ARGS ((cmu_bdd_manager, bdd, bdd *)) |
| void cmu_bdd_var_block_reorderable | ARGS ((cmu_bdd_manager, block, int)) |
| void cmu_bdd_dynamic_reordering | ARGS ((cmu_bdd_manager, void(*) ARGS((cmu_bdd_manager)))) |
| block cmu_bdd_new_var_block | ARGS ((cmu_bdd_manager, bdd, long)) |
| void mtbdd_transform_closure | ARGS ((cmu_bdd_manager, int(*) ARGS((cmu_bdd_manager, INT_PTR, INT_PTR, pointer)), void(*) ARGS((cmu_bdd_manager, INT_PTR, INT_PTR, INT_PTR *, INT_PTR *, pointer)), pointer)) |
| void mtcmu_bdd_one_data | ARGS ((cmu_bdd_manager, INT_PTR, INT_PTR)) |
void
cmu_mtbdd_free_terminal_closure | ARGS ((cmu_bdd_manager, void(*) ARGS((cmu_bdd_manager, INT_PTR, INT_PTR, pointer)), pointer)) |
| void cmu_mtbdd_terminal_value | ARGS ((cmu_bdd_manager, bdd, INT_PTR *, INT_PTR *)) |
