Searched refs:bSpaceShift (Results 1 – 1 of 1) sorted by relevance
160 DdNode * bSpace, * bFunc1, * bFunc2, * bSpaceShift; in Extra_bddSpaceFromFunctionFast() local220 bSpaceShift = Cudd_bddXorExistAbstract( dd, bFunc1, bFunc2, bCube ); Cudd_Ref( bSpaceShift ); in Extra_bddSpaceFromFunctionFast()221 bSpaceShift = Cudd_Not( bSpaceShift ); in Extra_bddSpaceFromFunctionFast()223 bSpace = Cudd_bddPermute( dd, bSpaceShift, pPermuteBack ); Cudd_Ref( bSpace ); in Extra_bddSpaceFromFunctionFast()226 Cudd_RecursiveDeref( dd, bSpaceShift ); in Extra_bddSpaceFromFunctionFast()