Searched refs:ddClearFlag2 (Results 1 – 2 of 2) sorted by relevance
62 void ddClearFlag2(DdNode *f);551 ddClearFlag2(Cudd_Regular(f)); in Extra_SupportArray()589 ddClearFlag2( Cudd_Regular(F[i]) ); in Extra_VectorSupportArray()786 ddClearFlag2( Cudd_Regular( f ) ); in Extra_bddSupportNegativeCube()1724 ddClearFlag2( in ddClearFlag2() function1735 ddClearFlag2(cuddT(f)); in ddClearFlag2()1736 ddClearFlag2(Cudd_Regular(cuddE(f))); in ddClearFlag2()
111 extern void ddClearFlag2( DdNode * f ); in Gia_ManFindRemoved()145 ddClearFlag2( Cudd_Regular(bFunc) ); in Gia_ManFindRemoved()