| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddSplit.c | 253 DdNode *Nnv, *q, *r, *v; in cuddSplitSetRecur() local
636 DdNode *N,*Nv,*Nnv; in bddAnnotateMintermCount() local
|
| H A D | cuddSign.c | 234 DdNode *Nv, *Nnv; in ddCofMintermAux() local
|
| H A D | cuddSubsetHB.c | 682 DdNode *N,*Nv,*Nnv; /* nodes to store cofactors */ in SubsetCountMintermAux() local
874 DdNode *N, *Nv, *Nnv; in SubsetCountNodesAux() local
1164 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
| H A D | cuddZddUtil.c | 1018 DdNode *Nv, *Nnv; in zdd_print_minterm_aux() local
1090 DdNode *Nv, *Nnv; in zddPrintCoverAux() local
|
| H A D | cuddSubsetSP.c | 642 DdNode *N, *Nv, *Nnv, *node, *child, *regChild; in CreateTopDist() local
838 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
1262 DdNode *N, *Nv, *Nnv; in BuildSubsetBdd() local
|
| H A D | cuddDecomp.c | 772 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
843 DdNode *N, *Nv, *Nnv; in CountMinterms() local
1694 DdNode *N, *Nv, *Nnv, *temp, *g1, *g2, *h1, *h2, *topv; in BuildConjuncts() local
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddSplit.c | 234 DdNode *Nnv, *q, *r, *v; in cuddSplitSetRecur() local
610 DdNode *N,*Nv,*Nnv; in bddAnnotateMintermCount() local
|
| H A D | cuddSign.c | 200 DdNode *Nv, *Nnv; in ddCofMintermAux() local
|
| H A D | cuddSubsetHB.c | 664 DdNode *N,*Nv,*Nnv; /* nodes to store cofactors */ in SubsetCountMintermAux() local
855 DdNode *N, *Nv, *Nnv; in SubsetCountNodesAux() local
1141 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
| H A D | cuddZddUtil.c | 950 DdNode *Nv, *Nnv; in zdd_print_minterm_aux() local
1017 DdNode *Nv, *Nnv; in zddPrintCoverAux() local
|
| H A D | cuddSubsetSP.c | 601 DdNode *N, *Nv, *Nnv, *node, *child, *regChild; in CreateTopDist() local
795 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
1216 DdNode *N, *Nv, *Nnv; in BuildSubsetBdd() local
|
| H A D | cuddDecomp.c | 750 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
817 DdNode *N, *Nv, *Nnv; in CountMinterms() local
1648 DdNode *N, *Nv, *Nnv, *temp, *g1, *g2, *h1, *h2, *topv; in BuildConjuncts() local
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddSplit.c | 253 DdNode *Nnv, *q, *r, *v; in cuddSplitSetRecur() local
636 DdNode *N,*Nv,*Nnv; in bddAnnotateMintermCount() local
|
| H A D | cuddSign.c | 234 DdNode *Nv, *Nnv; in ddCofMintermAux() local
|
| H A D | cuddSubsetHB.c | 682 DdNode *N,*Nv,*Nnv; /* nodes to store cofactors */ in SubsetCountMintermAux() local
874 DdNode *N, *Nv, *Nnv; in SubsetCountNodesAux() local
1164 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
| H A D | cuddZddUtil.c | 1018 DdNode *Nv, *Nnv; in zdd_print_minterm_aux() local
1090 DdNode *Nv, *Nnv; in zddPrintCoverAux() local
|
| H A D | cuddSubsetSP.c | 642 DdNode *N, *Nv, *Nnv, *node, *child, *regChild; in CreateTopDist() local
838 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
1262 DdNode *N, *Nv, *Nnv; in BuildSubsetBdd() local
|
| H A D | cuddDecomp.c | 772 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
843 DdNode *N, *Nv, *Nnv; in CountMinterms() local
1694 DdNode *N, *Nv, *Nnv, *temp, *g1, *g2, *h1, *h2, *topv; in BuildConjuncts() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddSplit.c | 257 DdNode *Nnv, *q, *r, *v; in cuddSplitSetRecur() local
640 DdNode *N,*Nv,*Nnv; in bddAnnotateMintermCount() local
|
| H A D | cuddSign.c | 238 DdNode *Nv, *Nnv; in ddCofMintermAux() local
|
| H A D | cuddSubsetHB.c | 686 DdNode *N,*Nv,*Nnv; /* nodes to store cofactors */ in SubsetCountMintermAux() local
878 DdNode *N, *Nv, *Nnv; in SubsetCountNodesAux() local
1168 DdNode *Nv, *Nnv, *N, *topv, *neW; in BuildSubsetBdd() local
|
| H A D | cuddZddUtil.c | 944 DdNode *Nv, *Nnv; in zdd_print_minterm_aux() local
1016 DdNode *Nv, *Nnv; in zddPrintCoverAux() local
|
| H A D | cuddSubsetSP.c | 638 DdNode *N, *Nv, *Nnv, *node, *child, *regChild; in CreateTopDist() local
834 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
1254 DdNode *N, *Nv, *Nnv; in BuildSubsetBdd() local
|
| H A D | cuddDecomp.c | 776 DdNode *N, *Nv, *Nnv; in CreateBotDist() local
847 DdNode *N, *Nv, *Nnv; in CountMinterms() local
1698 DdNode *N, *Nv, *Nnv, *temp, *g1, *g2, *h1, *h2, *topv; in BuildConjuncts() local
|
| /dports/math/cudd/cudd-3.0.0/dddmp/ |
| H A D | dddmpStoreCnf.c | 1248 DdNode *N, *Nv, *Nnv; in StoreCnfMaxtermByMaxtermRecur() local
1341 DdNode *N, *Nv, *Nnv; in StoreCnfBestNotSharedRecur() local
|