Home
last modified time | relevance | path

Searched refs:distanceNv (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddDecomp.c773 int distance, distanceNv, distanceNnv; in CreateBotDist() local
797 distanceNv = nodeStatNv->distance; in CreateBotDist()
805 distance = (distanceNv > distanceNnv) ? (distanceNv+1) : (distanceNnv + 1); in CreateBotDist()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddDecomp.c751 int distance, distanceNv, distanceNnv; in CreateBotDist() local
775 distanceNv = nodeStatNv->distance; in CreateBotDist()
783 distance = (distanceNv > distanceNnv) ? (distanceNv+1) : (distanceNnv + 1); in CreateBotDist()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddDecomp.c773 int distance, distanceNv, distanceNnv; in CreateBotDist() local
797 distanceNv = nodeStatNv->distance; in CreateBotDist()
805 distance = (distanceNv > distanceNnv) ? (distanceNv+1) : (distanceNnv + 1); in CreateBotDist()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddDecomp.c777 int distance, distanceNv, distanceNnv; in CreateBotDist() local
801 distanceNv = nodeStatNv->distance; in CreateBotDist()
809 distance = (distanceNv > distanceNnv) ? (distanceNv+1) : (distanceNnv + 1); in CreateBotDist()