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:

Serializable, Constr, Propagatable, IConstr

Direct Known Subclasses:

LearntBinaryClausePB

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	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, 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 -