/dports/math/chuffed/chuffed-e04bedd/chuffed/core/ |
H A D | options.h | 59 int phase_saving; // Repeat same variable polarity (0=no, 1=recent, 2=always) variable
|
H A D | options.cpp | 43 , phase_saving(0) in Options() 320 " (default: " << def.phase_saving << ").\n" in printLongHelp()
|
H A D | sat.cpp | 51 if (so.phase_saving >= 1 || (so.phase_saving == 1 && dl >= l0)) in untrailToPos()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
H A D | Solver.cpp | 62 , phase_saving (opt_phase_saving) in Solver() 212 if (phase_saving > 1 || (phase_saving == 1) && c > trail_lim.last()) in cancelUntil()
|
H A D | Solver.h | 123 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 D | Solver.cpp | 62 , 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 D | Solver.cc | 71 , phase_saving (opt_phase_saving) in Solver() 242 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
|
H A D | Solver.h | 135 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 D | Solver.cc | 65 , phase_saving (opt_phase_saving) in Solver() 236 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
|
H A D | Solver.h | 135 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 D | Solver.cc | 65 , phase_saving (opt_phase_saving) in Solver() 236 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
|
H A D | Solver.h | 135 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 D | Solver.cc | 70 , phase_saving (opt_phase_saving) in Solver() 241 if (phase_saving > 1 || (phase_saving == 1 && c > trail_lim.last())) in cancelUntil()
|
H A D | Solver.h | 141 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 D | Solver.cc | 147 , 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 D | Solver.h | 226 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 D | Solver.cc | 115 , 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 D | Solver.h | 261 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 D | Solver.cc | 103 , 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 D | Solver.h | 191 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 D | Glucose.cpp | 119 , phase_saving (opt_phase_saving) in Solver() 476 if (phase_saving > 1 || ((phase_saving == 1) && c > trail_lim.last())) in cancelUntil()
|
H A D | Solver.h | 175 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 D | Solver.h | 139 int phase_saving; // Controls the level of phase saving (0=none, 1=limited, 2=full). variable
|