Searched refs:pAnds (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaDup.c | 3489 Gia_Man_t * Gia_ManDupAndCones( Gia_Man_t * p, int * pAnds, int nAnds, int fTrimPis ) in Gia_ManDupAndCones() argument 3502 Vec_PtrPush( vRoots, Gia_ManObj(p, pAnds[i]) ); in Gia_ManDupAndCones() 3569 Gia_Man_t * Gia_ManDupAndConesLimit( Gia_Man_t * p, int * pAnds, int nAnds, int Level ) in Gia_ManDupAndConesLimit() argument 3580 Gia_ManDupAndConesLimit_rec( pNew, p, pAnds[i], Level ); in Gia_ManDupAndConesLimit() 3582 Gia_ManAppendCo( pNew, Gia_ManObj(p, pAnds[i])->Value ); in Gia_ManDupAndConesLimit() 3602 Gia_Man_t * Gia_ManDupAndConesLimit2( Gia_Man_t * p, int * pAnds, int nAnds, int Level ) in Gia_ManDupAndConesLimit2() argument 3612 Gia_ManDupAndConesLimit2_rec( pNew, p, pAnds[i], Level ); in Gia_ManDupAndConesLimit2() 3614 Gia_ManAppendCo( pNew, Gia_ManObj(p, pAnds[i])->Value ); in Gia_ManDupAndConesLimit2()
|
H A D | gia.h | 1330 extern Gia_Man_t * Gia_ManDupAndCones( Gia_Man_t * p, int * pAnds, int nAnds, int fTrimPis … 1331 extern Gia_Man_t * Gia_ManDupAndConesLimit( Gia_Man_t * p, int * pAnds, int nAnds, int Leve… 1332 extern Gia_Man_t * Gia_ManDupAndConesLimit2( Gia_Man_t * p, int * pAnds, int nAnds, int Lev…
|