org.sat4j.minisat.constraints.cnf
Class LearntWLClause

java.lang.Object
  extended by org.sat4j.minisat.constraints.cnf.WLClause
      extended by org.sat4j.minisat.constraints.cnf.LearntWLClause
All Implemented Interfaces:
Serializable, Constr, Propagatable, IConstr

public final class LearntWLClause
extends WLClause

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.cnf.WLClause
activity, lits, voc
 
Constructor Summary
LearntWLClause(IVecInt ps, ILits voc)
           
 
Method Summary
 void forwardActivity(double claInc)
           
 void incActivity(double claInc)
          Increase the constraint activity.
 boolean learnt()
           
 void register()
          Register the constraint to the solver.
 void setLearnt()
          Mark a constraint as learnt.
 
Methods inherited from class org.sat4j.minisat.constraints.cnf.WLClause
assertConstraint, calcReason, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, remove, rescaleBy, simplify, size, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LearntWLClause

public LearntWLClause(IVecInt ps,
                      ILits voc)
Method Detail

register

public void register()
Description copied from interface: Constr
Register the constraint to the solver.


learnt

public boolean learnt()
Returns:
true iff the clause was learnt during the search

setLearnt

public void setLearnt()
Description copied from interface: Constr
Mark a constraint as learnt.


forwardActivity

public void forwardActivity(double claInc)
Since:
2.1

incActivity

public void incActivity(double claInc)
Description copied from interface: Constr
Increase the constraint activity.

Parameters:
claInc -


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.