Home
last modified time | relevance | path

Searched refs:Gia_ManDupCofactorObj (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSplit.c806 pCof0 = Gia_ManDupCofactorObj( p, i, 0 );
807 pCof1 = Gia_ManDupCofactorObj( p, i, 1 );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A Dgia.h1300 extern Gia_Man_t * Gia_ManDupCofactorObj( Gia_Man_t * p, int iObj, int Value );
H A DgiaDup.c1678 Gia_Man_t * Gia_ManDupCofactorObj( Gia_Man_t * p, int iObj, int Value ) in Gia_ManDupCofactorObj() function