/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | clasp_facade.cpp | 771 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 D | solve_algorithms.cpp | 413 , 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 D | clasp_facade.cpp | 771 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 D | solve_algorithms.cpp | 413 , 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 D | clasp_facade.cpp | 744 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 D | solve_algorithms.cpp | 383 , 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 D | SimpSolver.h | 150 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 D | SimpSolver.h | 146 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 D | Solver.h | 226 …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 D | SimpSolver.h | 186 … 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 D | SimpSolver.h | 148 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 D | SimpSolver.h | 151 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 D | Solver.h | 305 …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 D | SimpSolver.h | 156 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 D | Solver.h | 252 …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 D | SimpSolver.h | 155 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 D | SimpSolver.h | 156 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 D | SimpSolver.h | 161 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 D | symbolic_qr.cpp | 123 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 D | Solver.h | 243 …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 D | Solver.h | 252 …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 D | Solver.h | 252 …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 D | Solver.h | 258 …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 D | Solver.h | 320 …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 D | Solver.h | 412 …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()
|