| /dports/lang/yap/yap-6.2.2/packages/swi-minisat2/C/ |
| H A D | Solver.C | 55 , simpDB_assigns (-1) in Solver()
542 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
553 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 140 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/ |
| H A D | Solver.cpp | 88 , simpDB_assigns (-1) in Solver()
584 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
594 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 186 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/math/ogdf/OGDF/src/ogdf/lib/minisat/core/ |
| H A D | Solver.cpp | 88 , simpDB_assigns (-1) in Solver()
586 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
596 simpDB_assigns = nAssigns(); in simplify()
|
| /dports/cad/yosys/yosys-yosys-0.12/libs/minisat/ |
| H A D | Solver.cc | 99 , simpDB_assigns (-1) in Solver()
654 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
688 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 211 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/math/minisat/minisat-2.2.1/minisat/core/ |
| H A D | Solver.cc | 93 , simpDB_assigns (-1) in Solver()
648 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
682 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 211 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/ |
| H A D | Solver.cc | 93 , simpDB_assigns (-1) in Solver()
648 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
682 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 211 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/math/vampire/vampire-4.5.1/Minisat/core/ |
| H A D | Solver.cc | 98 , simpDB_assigns (-1) in Solver()
653 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
687 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 217 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | Glucose.cpp | 138 , simpDB_assigns (-1) in Solver()
1006 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
1018 simpDB_assigns = nAssigns(); in simplify()
1456 simpDB_assigns = -1; in reset()
|
| H A D | Solver.h | 241 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/math/glucose/glucose-syrup-4.1/core/ |
| H A D | Solver.cc | 178 , simpDB_assigns(-1) in Solver()
263 , simpDB_assigns(s.simpDB_assigns) in Solver()
1335 if(nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
1347 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 347 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/ |
| H A D | Solver.cc | 132 , simpDB_assigns (-1) in Solver()
936 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
946 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 270 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|
| /dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/ |
| H A D | Solver.cc | 141 , simpDB_assigns (-1) in Solver()
1225 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
1235 simpDB_assigns = nAssigns(); in simplify()
|
| H A D | Solver.h | 345 …int simpDB_assigns; // Number of top-level assignments since last execution of… variable
|
| /dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/ |
| H A D | Solver.h | 202 …int simpDB_assigns; // Number of top-level assignments since last execution of '… variable
|