Searched refs:Gia_ManToAigSkip (Results 1 – 5 of 5) sorted by relevance
58 extern Aig_Man_t * Gia_ManToAigSkip( Gia_Man_t * p, int nOutDelta );
371 pMan = Gia_ManToAigSkip( pMiter, 3 ); in Gia_ManAigSynch2Choices()
325 Aig_Man_t * Gia_ManToAigSkip( Gia_Man_t * p, int nOutDelta ) in Gia_ManToAigSkip() function
877 pMan = Gia_ManToAigSkip( pGia, 3 ); in Dar_ManChoiceNew()
1677 pMan = Gia_ManToAigSkip( pGia, 3 ); in Abc_NtkDch()