Searched refs:bXVars (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/bbr/ |
| H A D | bbrImage.c | 1191 DdNode * Bbr_bddComputeCube( DdManager * dd, DdNode ** bXVars, int nVars ) in Bbr_bddComputeCube() argument
1200 bRes = Cudd_bddAnd( dd, bTemp = bRes, bXVars[i] ); Cudd_Ref( bRes ); in Bbr_bddComputeCube()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBdd.h | 193 extern DdNode * Extra_bddComputeCube( DdManager * dd, DdNode ** bXVars, int nVars );
|
| H A D | extraBddMisc.c | 1001 DdNode * Extra_bddComputeCube( DdManager * dd, DdNode ** bXVars, int nVars ) in Extra_bddComputeCube() argument
1010 bRes = Cudd_bddAnd( dd, bTemp = bRes, bXVars[i] ); Cudd_Ref( bRes ); in Extra_bddComputeCube()
|