Home
last modified time | relevance | path

Searched defs:turn_off_simp (Results 1 – 20 of 20) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/simp/
H A DSimpSolver.h188 inline lbool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { in solve()
192 inline lbool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { in solve()
197 inline lbool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { in solve()
203 inline lbool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { in solve()
210 inline lbool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
215 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
218 inline lbool SimpSolver::solveLimited (bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cc122 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/glucose/glucose-syrup-4.1/simp/
H A DSimpSolver.h224 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
225 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
226 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
227 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
228 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
231 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cc166 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/simp/
H A DSimpSolver.h188 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
189 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
190 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
191 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
192 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
195 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/
H A DSimpSolver.h184 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
185 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
186 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
187 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
188 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
191 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cpp93 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DSimpSolver.h190 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
191 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
192 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
193 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
194 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
197 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cpp96 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/cad/yosys/yosys-yosys-0.12/libs/minisat/
H A DSimpSolver.h209 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
210 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
211 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
212 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
213 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
216 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cc112 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/simp/
H A DSimpSolver.h198 inline lbool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { in solve()
204 inline lbool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { in solve()
211 inline lbool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { in solve()
219 inline lbool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { in solve()
228 inline lbool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
234 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cc117 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/minisat/minisat-2.2.1/minisat/simp/
H A DSimpSolver.h209 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
210 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
211 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
212 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
213 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
216 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cc106 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/vampire/vampire-4.5.1/Minisat/simp/
H A DSimpSolver.h214 inline bool SimpSolver::solve ( bool do_simp, bool turn_off_simp) { bud… in solve()
215 inline bool SimpSolver::solve (Lit p , bool do_simp, bool turn_off_simp) { bud… in solve()
216 inline bool SimpSolver::solve (Lit p, Lit q, bool do_simp, bool turn_off_simp) { bud… in solve()
217 inline bool SimpSolver::solve (Lit p, Lit q, Lit r, bool do_simp, bool turn_off_simp) { bud… in solve()
218 inline bool SimpSolver::solve (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solve()
221 inline lbool SimpSolver::solveLimited (const vec<Lit>& assumps, bool do_simp, bool turn_off_simp){ in solveLimited()
H A DSimpSolver.cc121 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/glucose/glucose-syrup-4.1/parallel/
H A DParallelSolver.cc437 lbool ParallelSolver::solve_(bool do_simp, bool turn_off_simp) { in solve_()
/dports/math/ogdf/OGDF/src/ogdf/lib/minisat/simp/
H A DSimpSolver.cpp91 lbool SimpSolver::solve_(bool do_simp, bool turn_off_simp) in solve_()
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc1735 lbool Solver::solve_(bool do_simp, bool turn_off_simp) // Parameters are useless in core but useful… in solve_()