org.sat4j.minisat.constraints.cnf
Class LearntBinaryClause

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

public class LearntBinaryClause
extends BinaryClause

Since:
2.1
Author:
daniel
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.cnf.BinaryClause
activity, head, tail
 
Constructor Summary
LearntBinaryClause(IVecInt ps, ILits voc)
           
 
Method Summary
 void forwardActivity(double claInc)
           
 void incActivity(double claInc)
          Increase the constraint activity.
 boolean learnt()
           
 void setActivity(double d)
          Set the activity at a specific value
 void setLearnt()
          Mark a constraint as learnt.
 
Methods inherited from class org.sat4j.minisat.constraints.cnf.BinaryClause
assertConstraint, calcReason, canBePropagatedMultipleTimes, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, register, remove, rescaleBy, simplify, size, toConstraint, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LearntBinaryClause

public LearntBinaryClause(IVecInt ps,
                          ILits voc)
Method Detail

setLearnt

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


learnt

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

forwardActivity

public void forwardActivity(double claInc)

incActivity

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

Parameters:
claInc -

setActivity

public void setActivity(double d)
Description copied from interface: Constr
Set the activity at a specific value

Parameters:
d - the new activity


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