org.sat4j.minisat.constraints.cnf
Class LearntWLClause

java.lang.Object
  org.sat4j.minisat.constraints.cnf.WLClause
      org.sat4j.minisat.constraints.cnf.LearntWLClause

All Implemented Interfaces:

java.io.Serializable, Constr, Propagatable, IConstr

public class LearntWLClause
extends WLClause

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.constraints.cnf.WLClause

lits, voc

Constructor Summary

LearntWLClause(IVecInt ps, ILits voc)

Method Summary

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, brandNewClause, calcReason, get, getActivity, getLits, getVocabulary, incActivity, locked, propagate, remove, rescaleBy, sanityCheck, simplify, size, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, 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.