org.sat4j.minisat.constraints.cnf
Class DefaultWLClause

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

All Implemented Interfaces:

java.io.Serializable, Constr, Propagatable, IConstr

Direct Known Subclasses:

WLClausePB

public class DefaultWLClause
extends WLClause

See Also:

Serialized Form

Field Summary

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

lits, voc

Constructor Summary

DefaultWLClause(IVecInt ps, ILits voc)

Method Summary

boolean	learnt()
void	register() Register this clause which means watching the necessary literals If the clause is learnt, setLearnt() must be called before a call to register()
void	setLearnt() declares this clause 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

DefaultWLClause

public DefaultWLClause(IVecInt ps,
                       ILits voc)

Method Detail

setLearnt

public void setLearnt()

declares this clause as learnt

learnt

public boolean learnt()

Returns:

true iff the clause was learnt during the search

register

public void register()

Register this clause which means watching the necessary literals If the clause is learnt, setLearnt() must be called before a call to register()

See Also:

setLearnt()