org.sat4j.minisat.constraints.cnf
Class LearntBinaryClause

java.lang.Object
  org.sat4j.minisat.constraints.cnf.BinaryClause
      org.sat4j.minisat.constraints.cnf.LearntBinaryClause

All Implemented Interfaces:

java.io.Serializable, Constr, Propagatable, IConstr

public class LearntBinaryClause
extends BinaryClause

See Also:

Serialized Form

Constructor Summary

LearntBinaryClause(IVecInt ps, ILits voc)

Method Summary

boolean	learnt()
void	setLearnt() Mark a constraint as learnt.

Methods inherited from class org.sat4j.minisat.constraints.cnf.BinaryClause

assertConstraint, calcReason, equals, get, getActivity, getLits, getVocabulary, hashCode, incActivity, locked, propagate, register, remove, rescaleBy, simplify, size, 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