|
Functions |
DSDNode * | BDN_MUX_VAR_DEC_DEC (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *E, DSDNode *T) |
DSDNode * | BDN_BDD_MUX_VAR_DEC_DEC (DSDManager *manager, DdNode *top_func, DSDNode *E, DSDNode *T) |
DSDNode * | BDN_BDD_PRIME_SUB (DSDManager *manager, DdNode *f, DdNode *top_func, ActualNode *conflict_residue, DSDNode *node) |
DSDNode * | BDN_BDD_PRIME_XOR_SUB (DSDManager *manager, DdNode *f, DdNode *top_func, ActualNode *conflict_residue, DSDNode *node) |
DSDNode * | BDN_BDD_PRIME_MUX_SUB (DSDManager *manager, DdNode *f, DdNode *top_func, ActualNode *conflict_residue, DSDNode *node) |
ActualNode * | cofactor_equivalence (DSDManager *manager, DSDNode *container, DSDNode *child) |
ActualNode * | cofactor_container_node_equivalence (DSDManager *manager, DSDNode *container, DSDNode *child) |
ActualNode * | cofactor_cofactor_equivalence (DSDManager *manager, DSDNode *container, DSDNode *child, int *switch_them) |
int | symbolic_finder_builder (DSDManager *manager, DSDNode *node1, DSDNode *node2) |
int | symbolic_finder_builder_incomplete (DSDManager *manager, DSDNode *node1, DSDNode *node2) |
DSDNode * | cofactor_elem_BDN_BDD_PRIME_SUB_ELEM (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *node1, DSDNode *node2) |
DdNode * | check_symbolic2 (DSDManager *manager, DSDNode *node) |
void | check_symbolic (DSDNode *node) |
DSDNode * | Prime_Decomp (DSDManager *manager, DdNode *f, DdNode *top_func, DSDNode *T, DSDNode *E) |