Searched defs:Dch_Man_t_ (Results 1 – 1 of 1) sorted by relevance
51 struct Dch_Man_t_ struct57 Aig_Man_t * pAigTotal; // intermediate AIG58 Aig_Man_t * pAigFraig; // final AIG73 int nConeThis;74 int nConeMax;89 abctime timeSat; // solving SAT90 abctime timeSatSat; // sat91 abctime timeSatUnsat; // unsat92 abctime timeSatUndec; // undecided94 abctime timeOther; // other runtime[all …]