Home
last modified time | relevance | path

Searched refs:simpDB_props (Results 1 – 25 of 28) sorted by relevance

12

/dports/lang/yap/yap-6.2.2/packages/swi-minisat2/C/
H A DSolver.C56 , simpDB_props (0) in Solver()
478 simpDB_props -= num_props; in propagate()
542 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
554 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h141 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat2/
H A DSolver.cpp89 , simpDB_props (0) in Solver()
505 simpDB_props -= num_props; in propagate()
584 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
595 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h187 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/math/ogdf/OGDF/src/ogdf/lib/minisat/core/
H A DSolver.cpp89 , simpDB_props (0) in Solver()
507 simpDB_props -= num_props; in propagate()
586 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
597 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
/dports/cad/yosys/yosys-yosys-0.12/libs/minisat/
H A DSolver.cc100 , simpDB_props (0) in Solver()
567 simpDB_props -= num_props; in propagate()
654 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
689 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h212 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/math/minisat/minisat-2.2.1/minisat/core/
H A DSolver.cc94 , simpDB_props (0) in Solver()
561 simpDB_props -= num_props; in propagate()
648 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
683 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h212 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/textproc/link-grammar/link-grammar-5.8.0/link-grammar/minisat/minisat/core/
H A DSolver.cc94 , simpDB_props (0) in Solver()
561 simpDB_props -= num_props; in propagate()
648 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
683 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h212 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/math/vampire/vampire-4.5.1/Minisat/core/
H A DSolver.cc99 , simpDB_props (0) in Solver()
566 simpDB_props -= num_props; in propagate()
653 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
688 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h218 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DGlucose.cpp139 , simpDB_props (0) in Solver()
899 simpDB_props -= num_props; in propagate()
1006 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
1019 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
1457 simpDB_props = 0; in reset()
H A DSolver.h242 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc179 , simpDB_props(0) in Solver()
264 , simpDB_props(s.simpDB_props) in Solver()
1149 simpDB_props -= num_props; in propagate()
1335 if(nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
1348 …simpDB_props = stats[clauses_literals] + stats[learnts_literals]; // (shouldn't depend on stats re… in simplify()
H A DSolver.h348 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/math/cvc4/CVC4-1.7/src/prop/bvminisat/core/
H A DSolver.cc133 , simpDB_props (0) in Solver()
852 simpDB_props -= num_props; in propagate()
936 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
947 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
H A DSolver.h271 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.cc142 , simpDB_props (0) in Solver()
1127 simpDB_props -= num_props; in propagateBool()
1225 if (nAssigns() == simpDB_assigns || (simpDB_props > 0)) in simplify()
1236 …simpDB_props = clauses_literals + learnts_literals; // (shouldn't depend on stats really, but … in simplify()
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dpropengine.h163 int64_t simpDB_props = 0;
H A Dpropengine.cpp432 simpDB_props -= num_props; in propagate_any_order_fast()
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dpropengine.h163 int64_t simpDB_props = 0;
H A Dpropengine.cpp432 simpDB_props -= num_props; in propagate_any_order_fast()
/dports/math/ogdf/OGDF/include/ogdf/lib/minisat/core/
H A DSolver.h203 …int64_t simpDB_props; // Remaining number of propagations that must be made before… variable

12