Searched refs:bSuppTemp (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddImage.c | 361 DdNode * bCubeNs, * bSupp, * bParts, * bTemp, * bSuppTemp; in Extra_CreateVars() local
384 for ( bSuppTemp = bSupp; bSuppTemp != b1; bSuppTemp = cuddT(bSuppTemp) ) in Extra_CreateVars()
386 iVar = bSuppTemp->index; in Extra_CreateVars()
393 if ( Cudd_bddLeq( dd, pParts[p]->bSupp, dd->vars[bSuppTemp->index] ) ) in Extra_CreateVars()
633 DdNode * bCube, * bTemp, * bSuppTemp, * bParts; in Extra_BuildTreeNode() local
703 for ( bSuppTemp = pNode2->pPart->bSupp; bSuppTemp != b1; bSuppTemp = cuddT(bSuppTemp) ) in Extra_BuildTreeNode()
705 pVar = pVars[bSuppTemp->index]; in Extra_BuildTreeNode()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/ |
| H A D | bbrImage.c | 451 DdNode * bCubeNs, * bSupp, * bParts, * bTemp, * bSuppTemp; in Bbr_CreateVars() local
474 for ( bSuppTemp = bSupp; bSuppTemp != b1; bSuppTemp = cuddT(bSuppTemp) ) in Bbr_CreateVars()
476 iVar = bSuppTemp->index; in Bbr_CreateVars()
483 if ( Cudd_bddLeq( dd, pParts[p]->bSupp, dd->vars[bSuppTemp->index] ) ) in Bbr_CreateVars()
728 DdNode * bCube, * bTemp, * bSuppTemp;//, * bParts; in Bbr_BuildTreeNode() local
813 for ( bSuppTemp = pNode2->pPart->bSupp; bSuppTemp != b1; bSuppTemp = cuddT(bSuppTemp) ) in Bbr_BuildTreeNode()
815 pVar = pVars[bSuppTemp->index]; in Bbr_BuildTreeNode()
|