Home
last modified time | relevance | path

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

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c1668 DdNodePtr *evenP, *oddP; in cuddRehash() local
1670 evenP = &(nodelist[j<<1]); in cuddRehash()
1679 *evenP = node; in cuddRehash()
1680 evenP = &(node->next); in cuddRehash()
1684 *evenP = *oddP = sentinel; in cuddRehash()
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddTable.c1667 DdNodePtr *evenP, *oddP; in cuddRehash() local
1669 evenP = &(nodelist[j<<1]); in cuddRehash()
1678 *evenP = node; in cuddRehash()
1679 evenP = &(node->next); in cuddRehash()
1683 *evenP = *oddP = sentinel; in cuddRehash()
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c1668 DdNodePtr *evenP, *oddP; in cuddRehash() local
1670 evenP = &(nodelist[j<<1]); in cuddRehash()
1679 *evenP = node; in cuddRehash()
1680 evenP = &(node->next); in cuddRehash()
1684 *evenP = *oddP = sentinel; in cuddRehash()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddTable.c1602 DdNodePtr *evenP, *oddP; in cuddRehash() local
1604 evenP = &(nodelist[j<<1]); in cuddRehash()
1613 *evenP = node; in cuddRehash()
1614 evenP = &(node->next); in cuddRehash()
1618 *evenP = *oddP = sentinel; in cuddRehash()