Searched defs:nNodeDelta (Results 1 – 4 of 4) sorted by relevance
56 int nNodeDelta = 2000; in Gia_IterTryImprove() local
2145 int nNodeDelta = 2000; in Gia_CommandSpecI() local
2322 int Abc_NtkDarBmc( Abc_Ntk_t * pNtk, int nStart, int nFrames, int nSizeMax, int nNodeDelta, int nTi… in Abc_NtkDarBmc()
26109 int nNodeDelta; in Abc_CommandBmc() local26293 int nNodeDelta; in Abc_CommandBmc2() local