Home
last modified time | relevance | path

Searched refs:ddClearFlag2 (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/
H A DextraBddMisc.c62 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() function
1735 ddClearFlag2(cuddT(f)); in ddClearFlag2()
1736 ddClearFlag2(Cudd_Regular(cuddE(f))); in ddClearFlag2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSupp.c111 extern void ddClearFlag2( DdNode * f ); in Gia_ManFindRemoved()
145 ddClearFlag2( Cudd_Regular(bFunc) ); in Gia_ManFindRemoved()