Searched refs:zddUniqueCompareGroup (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddZddGroup.c | 123 static int zddUniqueCompareGroup (int *ptrX, int *ptrY);
605 zddUniqueCompareGroup( in zddUniqueCompareGroup() function
681 qsort((void *)var,classes,sizeof(int),(DD_QSFP)zddUniqueCompareGroup); in zddGroupSifting()
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddZddGroup.c | 82 static int zddUniqueCompareGroup (void const *ptrX, void const *ptrY);
568 zddUniqueCompareGroup( in zddUniqueCompareGroup() function
640 util_qsort(var,classes,sizeof(IndexKey),zddUniqueCompareGroup); in zddGroupSifting()
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddZddGroup.c | 123 static int zddUniqueCompareGroup (int *ptrX, int *ptrY);
605 zddUniqueCompareGroup( in zddUniqueCompareGroup() function
681 qsort((void *)var,classes,sizeof(int),(DD_QSFP)zddUniqueCompareGroup); in zddGroupSifting()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddZddGroup.c | 127 static int zddUniqueCompareGroup (int *ptrX, int *ptrY);
609 zddUniqueCompareGroup( in zddUniqueCompareGroup() function
685 qsort((void *)var,(size_t)classes,sizeof(int),(DD_QSFP)zddUniqueCompareGroup); in zddGroupSifting()
|