public final class LearntBinaryClausePB extends LearntBinaryClause implements PBConstr
activity, head, tail
Constructor and Description |
---|
LearntBinaryClausePB(IVecInt ps,
ILits voc) |
Modifier and Type | Method and Description |
---|---|
IVecInt |
computeAnImpliedClause() |
java.math.BigInteger |
getCoef(int literal) |
java.math.BigInteger[] |
getCoefs() |
java.math.BigInteger |
getDegree() |
forwardActivity, incActivity, learnt, setActivity, setLearnt
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, register, remove, rescaleBy, simplify, size, toConstraint, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getLits, getVocabulary
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
public java.math.BigInteger getCoef(int literal)