Home
last modified time | relevance | path

Searched refs:preReorderingHook (Results 1 – 20 of 20) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddAPI.c3259 hook = &(dd->preReorderingHook); in Cudd_AddHook()
3321 hook = &(dd->preReorderingHook); in Cudd_RemoveHook()
3374 hook = dd->preReorderingHook; in Cudd_IsInHook()
H A DcuddTable.c614 unique->preReorderingHook = NULL; in cuddInitTable()
702 while (unique->preReorderingHook != NULL) in cuddFreeTable()
703 Cudd_RemoveHook(unique,unique->preReorderingHook->f, in cuddFreeTable()
H A DcuddInt.h439 DdHook *preReorderingHook; /* hooks to be called before reordering */ member
H A DcuddZddReord.c205 hook = table->preReorderingHook; in Cudd_zddReduceHeap()
H A DcuddReorder.c209 hook = table->preReorderingHook; in Cudd_ReduceHeap()
/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddAPI.c3591 hook = &(dd->preReorderingHook); in Cudd_AddHook()
3653 hook = &(dd->preReorderingHook); in Cudd_RemoveHook()
3706 hook = dd->preReorderingHook; in Cudd_IsInHook()
H A DcuddTable.c656 unique->preReorderingHook = NULL; in cuddInitTable()
749 while (unique->preReorderingHook != NULL) in cuddFreeTable()
750 Cudd_RemoveHook(unique,unique->preReorderingHook->f, in cuddFreeTable()
H A DcuddInt.h445 DdHook *preReorderingHook; /* hooks to be called before reordering */ in PBORI_PREFIX() local
H A DcuddZddReord.c201 hook = table->preReorderingHook; in Cudd_zddReduceHeap()
H A DcuddReorder.c205 hook = table->preReorderingHook; in Cudd_ReduceHeap()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddAPI.c3591 hook = &(dd->preReorderingHook); in Cudd_AddHook()
3653 hook = &(dd->preReorderingHook); in Cudd_RemoveHook()
3706 hook = dd->preReorderingHook; in Cudd_IsInHook()
H A DcuddTable.c656 unique->preReorderingHook = NULL; in cuddInitTable()
749 while (unique->preReorderingHook != NULL) in cuddFreeTable()
750 Cudd_RemoveHook(unique,unique->preReorderingHook->f, in cuddFreeTable()
H A DcuddZddReord.c201 hook = table->preReorderingHook; in Cudd_zddReduceHeap()
H A DcuddInt.h445 DdHook *preReorderingHook; /* hooks to be called before reordering */ in PBORI_PREFIX() local
H A DcuddReorder.c205 hook = table->preReorderingHook; in Cudd_ReduceHeap()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddAPI.c3463 hook = &(dd->preReorderingHook); in Cudd_AddHook()
3525 hook = &(dd->preReorderingHook); in Cudd_RemoveHook()
3578 hook = dd->preReorderingHook; in Cudd_IsInHook()
H A DcuddTable.c616 unique->preReorderingHook = NULL; in cuddInitTable()
712 while (unique->preReorderingHook != NULL) in cuddFreeTable()
713 Cudd_RemoveHook(unique,unique->preReorderingHook->f, in cuddFreeTable()
H A DcuddInt.h497 DdHook *preReorderingHook; /**< hooks to be called before reordering */ member
H A DcuddZddReord.c160 hook = table->preReorderingHook; in Cudd_zddReduceHeap()
H A DcuddReorder.c160 hook = table->preReorderingHook; in Cudd_ReduceHeap()