Searched refs:d_presolve (Results 1 – 2 of 2) sorted by relevance
113 d_presolve(u, true), in QuantifiersEngine()433 d_presolve = false; in presolve()942 if( !d_presolve || !options::incrementalSolving() ){ in addTermToDatabase()
423 context::CDO<bool> d_presolve; variable