Searched refs:d_inSatMode (Results 1 – 2 of 2) sorted by relevance
305 d_inSatMode(false), in TheoryEngine()627 d_inSatMode = true; in check()903 AlwaysAssert(d_inSatMode && options::produceModels()); in getBuiltModel()953 d_inSatMode = false; in postsolve()
359 bool d_inSatMode; variable