Searched refs:Extra_bddSpaceFromMatrixNeg (Results 1 – 2 of 2) sorted by last modified time
452 DdNode * Extra_bddSpaceFromMatrixNeg( DdManager * dd, DdNode * zA ) in Extra_bddSpaceFromMatrixNeg() function
125 extern DdNode * Extra_bddSpaceFromMatrixNeg( DdManager * dd, DdNode * zA );