Searched refs:getIncrementalSolving (Results 1 – 3 of 3) sorted by relevance
216 opts.getIncrementalSolving() && in runCvc4()327 if(!opts.getIncrementalSolving() && opts.getTearDownIncremental() > 1) { in runCvc4()
105 bool Options::getIncrementalSolving() const{ in getIncrementalSolving() function in CVC4::Options
216 bool getIncrementalSolving() const;