Home
last modified time | relevance | path

Searched refs:phase_saving (Results 1 – 23 of 23) sorted by relevance

/dports/math/chuffed/chuffed-e04bedd/chuffed/core/
H A Doptions.h59 int phase_saving; // Repeat same variable polarity (0=no, 1=recent, 2=always) variable
H A Doptions.cpp43 , phase_saving(0) in Options()
320 " (default: " << def.phase_saving << ").\n" in printLongHelp()
H A Dsat.cpp51 if (so.phase_saving >= 1 || (so.phase_saving == 1 && dl >= l0)) in untrailToPos()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/
H A DSolver.cpp62 , phase_saving (opt_phase_saving) in Solver()
212 if (phase_saving > 1 || (phase_saving == 1) && c > trail_lim.last()) in cancelUntil()
H A DSolver.h123 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/ogdf/OGDF/src/ogdf/lib/minisat/core/
H A DSolver.cpp62 , phase_saving (opt_phase_saving) in Solver()
212 if (phase_saving > 1 || ((phase_saving == 1) && c > trail_lim.last())) in cancelUntil()
/dports/cad/yosys/yosys-yosys-0.12/libs/minisat/
H A DSolver.cc71 , phase_saving (opt_phase_saving) in Solver()
242 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
H A DSolver.h135 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/minisat/minisat-2.2.1/minisat/core/
H A DSolver.cc65 , phase_saving (opt_phase_saving) in Solver()
236 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
H A DSolver.h135 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/
H A DSolver.cc65 , phase_saving (opt_phase_saving) in Solver()
236 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
H A DSolver.h135 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/vampire/vampire-4.5.1/Minisat/core/
H A DSolver.cc70 , phase_saving (opt_phase_saving) in Solver()
241 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
H A DSolver.h141 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc147 , phase_saving(opt_phase_saving) in Solver()
231 , phase_saving(s.phase_saving) in Solver()
663 if(phase_saving > 1 || ((phase_saving == 1) && c > trail_lim.last())) { in cancelUntil()
H A DSolver.h226 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.cc115 , phase_saving (opt_phase_saving) in Solver()
562 if ((phase_saving > 1 || in cancelUntil()
563 ((phase_saving == 1) && c > trail_lim.last()) in cancelUntil()
1679 if(phase_saving >= 1 && (polarity[x] & 0x2) == 0) in pop()
H A DSolver.h261 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.cc103 , phase_saving (opt_phase_saving) in Solver()
360 if (phase_saving > 1 in cancelUntil()
361 || ((phase_saving == 1) && c > trail_lim.last())) in cancelUntil()
H A DSolver.h191 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DGlucose.cpp119 , phase_saving (opt_phase_saving) in Solver()
476 if (phase_saving > 1 || ((phase_saving == 1) && c > trail_lim.last())) in cancelUntil()
H A DSolver.h175 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/
H A DSolver.h139 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable