org.sat4j.minisat.learning
Class NoLearningButHeuristics
java.lang.Object
org.sat4j.minisat.learning.NoLearningButHeuristics
- All Implemented Interfaces:
- java.io.Serializable, LearningStrategy
public class NoLearningButHeuristics
- extends java.lang.Object
- implements java.io.Serializable
Allows MiniSAT to do backjumping without learning. The literals appearing in
the reason have their activity increased. That solution does not look good
for VLIW-SAT-1.0 benchmarks (1785s vs 1346s).
- Author:
- leberre
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
NoLearningButHeuristics
public NoLearningButHeuristics()
init
public void init()
- Description copied from interface:
LearningStrategy
- hook method called just before the search begins. Useful to compute
metrics/parameters based on the input formula.
- Specified by:
init
in interface LearningStrategy
learns
public void learns(Constr reason)
- Specified by:
learns
in interface LearningStrategy
setVarActivityListener
public void setVarActivityListener(VarActivityListener s)
- Specified by:
setVarActivityListener
in interface LearningStrategy
claBumpActivity
public final void claBumpActivity(Constr reason)