Searched defs:ResStep (Results 1 – 1 of 1) sorted by relevance
60 struct ResStep { struct64 ResStep(typename Solver::TLit l, ClauseId i, bool s) in ResStep() argument