Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsIter.c58 int nBTLimitAll = 0; in Gia_IterTryImprove() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaEquiv.c2147 int nBTLimitAll = 2000000; in Gia_CommandSpecI() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c2322 …t nFrames, int nSizeMax, int nNodeDelta, int nTimeOut, int nBTLimit, int nBTLimitAll, int fRewrite… in Abc_NtkDarBmc()
H A Dabc.c26108 int nBTLimitAll; in Abc_CommandBmc() local
26292 int nBTLimitAll; in Abc_CommandBmc2() local