Searched refs:Extra_bddSpaceEquationsPos (Results 1 – 2 of 2) sorted by path
120 extern DdNode * Extra_bddSpaceEquationsPos( DdManager * dd, DdNode * bSpace );
366 zEquPos = Extra_bddSpaceEquationsPos( dd, bSpace ); Cudd_Ref( zEquPos ); in Extra_bddSpaceEquations()387 DdNode * Extra_bddSpaceEquationsPos( DdManager * dd, DdNode * bSpace ) in Extra_bddSpaceEquationsPos() function