Home
last modified time | relevance | path

Searched refs:cuddAllocNode (Results 1 – 13 of 13) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/
H A Dprefix_internal.h229 #define cuddAllocNode pbori_cuddAllocNode macro
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/
H A Dprefix_internal.h229 #define cuddAllocNode pbori_cuddAllocNode macro
/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c275 cuddAllocNode( in cuddAllocNode() function
1304 looking = cuddAllocNode(unique); in cuddUniqueInter()
1487 looking = cuddAllocNode(unique); in cuddUniqueInterZdd()
1571 looking = cuddAllocNode(unique); in cuddUniqueConst()
H A DcuddInt.h1150 extern DdNode * PBORI_PREFIX(cuddAllocNode) (PBORI_PREFIX(DdManager) *unique);
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddTable.c225 cuddAllocNode( in cuddAllocNode() function
1270 looking = cuddAllocNode(unique); in cuddUniqueInter()
1481 looking = cuddAllocNode(unique); in cuddUniqueInterZdd()
1573 looking = cuddAllocNode(unique); in cuddUniqueConst()
H A DcuddInt.h1182 extern DdNode * cuddAllocNode(DdManager *unique);
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c275 cuddAllocNode( in cuddAllocNode() function
1304 looking = cuddAllocNode(unique); in cuddUniqueInter()
1487 looking = cuddAllocNode(unique); in cuddUniqueInterZdd()
1571 looking = cuddAllocNode(unique); in cuddUniqueConst()
H A DcuddInt.h1150 extern DdNode * PBORI_PREFIX(cuddAllocNode) (PBORI_PREFIX(DdManager) *unique);
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddTable.c235 cuddAllocNode( in cuddAllocNode() function
1239 looking = cuddAllocNode(unique); in cuddUniqueInter()
1421 looking = cuddAllocNode(unique); in cuddUniqueInterZdd()
1505 looking = cuddAllocNode(unique); in cuddUniqueConst()
H A DcuddInt.h1165 extern DdNode * cuddAllocNode( DdManager * unique );
/dports/lang/yap/yap-6.2.2/packages/ProbLog/simplecudd_lfi/
H A Dsimplecudd.c532 newnode = cuddAllocNode(manager); in LoadNodeRec()
546 newnode = cuddAllocNode(manager); in LoadNodeRec()
/dports/lang/yap/yap-6.2.2/packages/cplint/approx/simplecuddLPADs/
H A Dsimplecudd.c524 newnode = cuddAllocNode(manager); in LoadNodeRec()
538 newnode = cuddAllocNode(manager); in LoadNodeRec()
/dports/lang/yap/yap-6.2.2/packages/ProbLog/simplecudd/
H A Dsimplecudd.c540 newnode = cuddAllocNode(manager); in LoadNodeRec()
554 newnode = cuddAllocNode(manager); in LoadNodeRec()