Searched defs:Cbs_Man_t_ (Results 1 – 1 of 1) sorted by relevance
63 struct Cbs_Man_t_ struct65 Cbs_Par_t Pars; // parameters66 Gia_Man_t * pAig; // AIG manager67 Cbs_Que_t pProp; // propagation queue68 Cbs_Que_t pJust; // justification queue69 Cbs_Que_t pClauses; // clause queue73 Vec_Ptr_t * vTemp; // temporary storage84 abctime timeSatUnsat; // unsat85 abctime timeSatSat; // sat86 abctime timeSatUndec; // undecided[all …]