Searched refs:bNegCube (Results 1 – 1 of 1) sorted by relevance
339 DdNode * bNegCube; in Extra_bddSpaceReduce() local341 bNegCube = Extra_bddSupportNegativeCube( dd, bCanonVars ); Cudd_Ref( bNegCube ); in Extra_bddSpaceReduce()342 bResult = Cudd_Cofactor( dd, bFunc, bNegCube ); Cudd_Ref( bResult ); in Extra_bddSpaceReduce()343 Cudd_RecursiveDeref( dd, bNegCube ); in Extra_bddSpaceReduce()