Home
last modified time | relevance | path

Searched refs:solve_ (Results 1 – 25 of 58) sorted by relevance

123

/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dclasp_facade.cpp771 return solve_.get() && solve_->prepared; in prepared()
774 return solve_.get() && solve_->solving(); in solving()
777 return solve_.get() && solve_->solved; in solved()
796 solve_ = 0; in discardProblem()
821 if (!solve_.get()) { solve_ = new SolveData(); } in init()
898 solve_->keepPrg = true; in keepProgram()
906 solve_->solved = false; in startStep()
955 …return solve_.get() && (signal || (signal = solve_->qSig.exchange(0)) != 0) && solve_->interrupt(s… in interrupt()
959 if (solve_.get()) { in shutdown()
1018 solve_->active = SolveStrategy::create(p, *this, *solve_->algo.get()); in solve()
[all …]
H A Dsolve_algorithms.cpp413 , solve_(0) in SequentialSolve()
421 solve_.reset(new BasicSolve(*ctx.master(), ctx.configuration()->search(0), limits())); in doStart()
422 if (!enumerator().start(solve_->solver(), gp)) { SequentialSolve::doStop(); } in doStart()
425 if (interrupted() || !solve_.get()) { return solve_.get() ? value_free : value_false; } in doNext()
426 Solver& s = solve_->solver(); in doNext()
429 last = solve_->solve(); in doNext()
445 if (solve_.get()) { in doStop()
446 enumerator().end(solve_->solver()); in doStop()
447 solve_ = 0; in doStop()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dclasp_facade.cpp771 return solve_.get() && solve_->prepared; in prepared()
774 return solve_.get() && solve_->solving(); in solving()
777 return solve_.get() && solve_->solved; in solved()
796 solve_ = 0; in discardProblem()
821 if (!solve_.get()) { solve_ = new SolveData(); } in init()
898 solve_->keepPrg = true; in keepProgram()
906 solve_->solved = false; in startStep()
955 …return solve_.get() && (signal || (signal = solve_->qSig.exchange(0)) != 0) && solve_->interrupt(s… in interrupt()
959 if (solve_.get()) { in shutdown()
1018 solve_->active = SolveStrategy::create(p, *this, *solve_->algo.get()); in solve()
[all …]
H A Dsolve_algorithms.cpp413 , solve_(0) in SequentialSolve()
421 solve_.reset(new BasicSolve(*ctx.master(), ctx.configuration()->search(0), limits())); in doStart()
422 if (!enumerator().start(solve_->solver(), gp)) { SequentialSolve::doStop(); } in doStart()
425 if (interrupted() || !solve_.get()) { return solve_.get() ? value_free : value_false; } in doNext()
426 Solver& s = solve_->solver(); in doNext()
429 last = solve_->solve(); in doNext()
445 if (solve_.get()) { in doStop()
446 enumerator().end(solve_->solver()); in doStop()
447 solve_ = 0; in doStop()
/dports/math/clasp/clasp-3.3.5/src/
H A Dclasp_facade.cpp744 return solve_.get() && solve_->prepared; in prepared()
747 return solve_.get() && solve_->solving(); in solving()
750 return solve_.get() && solve_->solved; in solved()
769 solve_ = 0; in discardProblem()
794 if (!solve_.get()) { solve_ = new SolveData(); } in init()
872 solve_->solved = false; in startStep()
880 solve_->solved = true; in stopStep()
921 …return solve_.get() && (signal || (signal = solve_->qSig.exchange(0)) != 0) && solve_->interrupt(s… in interrupt()
925 if (solve_.get()) { in shutdown()
983 solve_->active = SolveStrategy::create(p, *this, *solve_->algo.get()); in solve()
[all …]
H A Dsolve_algorithms.cpp383 , solve_(0) in SequentialSolve()
391 solve_.reset(new BasicSolve(*ctx.master(), ctx.configuration()->search(0), limits())); in doStart()
392 if (!enumerator().start(solve_->solver(), gp)) { SequentialSolve::doStop(); } in doStart()
395 if (interrupted() || !solve_.get()) { return solve_.get() ? value_free : value_false; } in doNext()
396 Solver& s = solve_->solver(); in doNext()
399 last = solve_->solve(); in doNext()
415 if (solve_.get()) { in doStop()
416 enumerator().end(solve_->solver()); in doStop()
417 ctx().detach(solve_->solver()); in doStop()
418 solve_ = 0; in doStop()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/simp/
H A DSimpSolver.h150 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
190 return solve_(do_simp, turn_off_simp); in solve()
195 return solve_(do_simp, turn_off_simp); in solve()
201 return solve_(do_simp, turn_off_simp); in solve()
208 return solve_(do_simp, turn_off_simp); in solve()
212 return solve_(do_simp, turn_off_simp); in solve()
216 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
219 return solve_(do_simp, turn_off_simp); } in solveLimited()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/
H A DSimpSolver.h146 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
184 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
185 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
186 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
187 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
189 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
192 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
H A DSolver.h226 …lbool solve_ (); // Main solve m…
352 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
353 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
354 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
355 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
356 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
357 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/math/glucose/glucose-syrup-4.1/simp/
H A DSimpSolver.h186 … virtual lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
224 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
225 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
226 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
227 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
229 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
232 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/simp/
H A DSimpSolver.h148 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
188 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
189 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
190 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
191 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
193 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
196 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DSimpSolver.h151 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
190 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
191 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
192 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
193 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
195 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
198 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
H A DSolver.h305 …lbool solve_ (); // Main solve m…
443 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
444 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
445 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
446 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
447 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
448 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/cad/yosys/yosys-yosys-0.12/libs/minisat/
H A DSimpSolver.h156 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
209 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
210 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
211 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
212 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
214 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
217 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
H A DSolver.h252 …lbool solve_ (); // Main solve m…
382 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
383 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
384 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
385 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
386 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
387 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/simp/
H A DSimpSolver.h155 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
201 return solve_(do_simp, turn_off_simp); in solve()
208 return solve_(do_simp, turn_off_simp); in solve()
216 return solve_(do_simp, turn_off_simp); in solve()
225 return solve_(do_simp, turn_off_simp); in solve()
231 return solve_(do_simp, turn_off_simp); in solve()
235 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
/dports/math/minisat/minisat-2.2.1/minisat/simp/
H A DSimpSolver.h156 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
209 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
210 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
211 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
212 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
214 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
217 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
/dports/math/vampire/vampire-4.5.1/Minisat/simp/
H A DSimpSolver.h161 lbool solve_ (bool do_simp = true, bool turn_off_simp = false);
214 …do_simp, bool turn_off_simp) { budgetOff(); assumptions.clear(); return solve_(do_simp, turn_off_… in solve()
215 …f_simp) { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_(do_simp, turn_off_… in solve()
216 …); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_(do_simp, turn_off_… in solve()
217 …); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(do_simp, turn_off_… in solve()
219 budgetOff(); assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp) == l_True; } in solve()
222 assumps.copyTo(assumptions); return solve_(do_simp, turn_off_simp); } in solveLimited()
/dports/math/casadi/casadi-3.5.5/casadi/solvers/
H A Dsymbolic_qr.cpp123 solve_ = Function("QR_solv", solv_in, {x}, fopts_); in init()
148 m->alloc(solve_); in init_mem()
177 const Function& solv = tr ? solveT_ : solve_; in solve()
209 const Function& solv = tr ? solveT_ : solve_; in linsol_eval_sx()
233 s.unpack("SymbolicQr::solve", solve_); in SymbolicQr()
242 s.pack("SymbolicQr::solve", solve_); in serialize_body()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/
H A DSolver.h243 …lbool solve_ (); // Main solve m…
244 …lbool solve_ (double& t); // Main solve …
370 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
374 lbool solver_value = solve_(t); in solve()
395 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
396 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
397 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
398 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
399 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/math/minisat/minisat-2.2.1/minisat/core/
H A DSolver.h252 …lbool solve_ (); // Main solve m…
382 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
383 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
384 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
385 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
386 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
387 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/
H A DSolver.h252 …lbool solve_ (); // Main solve m…
382 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
383 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
384 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
385 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
386 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
387 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/math/vampire/vampire-4.5.1/Minisat/core/
H A DSolver.h258 …lbool solve_ (); // Main solve m…
389 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
390 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
391 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
392 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
393 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
394 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.h320 …lbool solve_ (); // Main solve m…
468 inline lbool Solver::solve () { budgetOff(); return solve_(); } in solve()
469 … Solver::solve (Lit p) { budgetOff(); assumptions.push(p); return solve_(); } in solve()
470 … (Lit p, Lit q) { budgetOff(); assumptions.push(p); assumptions.push(q); return solve_(); } in solve()
471 …r) { budgetOff(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_(); } in solve()
472 …lve (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_(); } in solve()
473 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.h412 …virtual lbool solve_ (bool do_simp = true, bool turn_off_simp = false); …
555 …olve () { budgetOff(); assumptions.clear(); return solve_() == l_True; } in solve()
556 … { budgetOff(); assumptions.clear(); assumptions.push(p); return solve_() == l_True; } in solve()
557 …tOff(); assumptions.clear(); assumptions.push(p); assumptions.push(q); return solve_() == l_True; } in solve()
558 …lear(); assumptions.push(p); assumptions.push(q); assumptions.push(r); return solve_() == l_True; } in solve()
559 … (const vec<Lit>& assumps){ budgetOff(); assumps.copyTo(assumptions); return solve_() == l_True; } in solve()
560 … Solver::solveLimited (const vec<Lit>& assumps){ assumps.copyTo(assumptions); return solve_(); } in solveLimited()

123