Home
last modified time | relevance | path

Searched defs:nNodeDelta (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsIter.c56 int nNodeDelta = 2000; in Gia_IterTryImprove() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEquiv.c2145 int nNodeDelta = 2000; in Gia_CommandSpecI() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c2322 int Abc_NtkDarBmc( Abc_Ntk_t * pNtk, int nStart, int nFrames, int nSizeMax, int nNodeDelta, int nTi… in Abc_NtkDarBmc()
H A Dabc.c26109 int nNodeDelta; in Abc_CommandBmc() local
26293 int nNodeDelta; in Abc_CommandBmc2() local