Searched refs:wasSetByUserIncrementalSolving (Results 1 – 3 of 3) sorted by relevance
215 if(opts.wasSetByUserIncrementalSolving() && in runCvc4()285 if(!opts.wasSetByUserIncrementalSolving()) { in runCvc4()495 if(!opts.wasSetByUserIncrementalSolving()) { in runCvc4()
285 bool Options::wasSetByUserIncrementalSolving() const { in wasSetByUserIncrementalSolving() function in CVC4::Options
261 bool wasSetByUserIncrementalSolving() const;