Home
last modified time | relevance | path

Searched refs:Gia_ManToAigSkip (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaAig.h58 extern Aig_Man_t * Gia_ManToAigSkip( Gia_Man_t * p, int nOutDelta );
H A DgiaScript.c371 pMan = Gia_ManToAigSkip( pMiter, 3 ); in Gia_ManAigSynch2Choices()
H A DgiaAig.c325 Aig_Man_t * Gia_ManToAigSkip( Gia_Man_t * p, int nOutDelta ) in Gia_ManToAigSkip() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dar/
H A DdarScript.c877 pMan = Gia_ManToAigSkip( pGia, 3 ); in Dar_ManChoiceNew()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c1677 pMan = Gia_ManToAigSkip( pGia, 3 ); in Abc_NtkDch()