Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaDup.c3489 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 Dgia.h1330 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…