/dports/math/cudd/cudd-3.0.0/nanotrav/ |
H A D | ntrMflow.c | 182 **neW, **U; /* arrays of BDDs for flow propagation */ in Ntr_maximum01Flow() local 437 DdNode ** neW /**< array of BFS layers */, in maximal_pull() 546 DdNode ** neW /**< array of reachable or useful nodes */, in propagate_maximal_flow() 606 DdNode ** neW /**< array of node levels */, in trellis() 746 DdNode ** neW /**< array for flow propagation */, in rhombus() 877 DdNode ** neW /**< array for flow propagation */, in hourglass()
|
H A D | ntr.c | 787 DdNode *neW; in Ntr_Trav() local 944 DdNode *neW; in Ntr_SCC() local 2073 DdNode * neW, in ntrChooseFrom()
|
/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddRead.c | 160 DdNode *w, *neW; in Cudd_addRead() local
|
H A D | cuddZddLin.c | 801 moves = prevMoves;
|
H A D | cuddSubsetHB.c | 1164 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
H A D | cuddSubsetSP.c | 1266 DdNode *neW, *topv, *regNew; in BuildSubsetBdd() local
|
H A D | cuddUtil.c | 1309 DdNode *old, *neW; in Cudd_bddPickOneMinterm() local 1412 DdNode **old, *neW; in Cudd_bddPickArbitraryMinterms() local
|
/dports/math/cudd/cudd-3.0.0/cudd/ |
H A D | cuddRead.c | 150 DdNode *w, *neW; in Cudd_addRead() local
|
H A D | cuddZddIsop.c | 779 DdNode *neW; in cuddMakeBddFromZddCover() local
|
H A D | cuddSubsetHB.c | 1141 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
H A D | cuddSubsetSP.c | 1220 DdNode *neW, *topv, *regNew; in BuildSubsetBdd() local
|
H A D | cuddUtil.c | 1389 DdNode *old, *neW; in Cudd_bddPickOneMinterm() local 1490 DdNode **old, *neW; in Cudd_bddPickArbitraryMinterms() local
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddRead.c | 160 DdNode *w, *neW; in Cudd_addRead() local
|
H A D | cuddZddIsop.c | 801 DdNode *neW; in cuddMakeBddFromZddCover() local
|
H A D | cuddSubsetHB.c | 1164 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
H A D | cuddSubsetSP.c | 1266 DdNode *neW, *topv, *regNew; in BuildSubsetBdd() local
|
H A D | cuddUtil.c | 1309 DdNode *old, *neW; in Cudd_bddPickOneMinterm() local 1412 DdNode **old, *neW; in Cudd_bddPickArbitraryMinterms() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
H A D | cuddRead.c | 164 DdNode *w, *neW; in Cudd_addRead() local
|
H A D | cuddZddIsop.c | 804 DdNode *neW; in cuddMakeBddFromZddCover() local
|
H A D | cuddSubsetHB.c | 1168 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
H A D | cuddSubsetSP.c | 1258 DdNode *neW, *topv, *regNew; in BuildSubsetBdd() local
|
H A D | cuddUtil.c | 1293 DdNode *old, *neW; in Cudd_bddPickOneMinterm() local 1396 DdNode **old, *neW; in Cudd_bddPickArbitraryMinterms() local
|