public final class LearntHTClausePB extends LearntHTClause implements PBConstr
Constructor and Description |
---|
LearntHTClausePB(IVecInt ps,
ILits voc) |
Modifier and Type | Method and Description |
---|---|
void |
assertConstraint(UnitPropagationListener s)
Method called when the constraint is to be asserted.
|
IVecInt |
computeAnImpliedClause() |
java.math.BigInteger |
getCoef(int literal) |
java.math.BigInteger[] |
getCoefs() |
java.math.BigInteger |
getDegree() |
forwardActivity, incActivity, learnt, register, setActivity, setLearnt
assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, remove, rescaleBy, simplify, size, toConstraint, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getLits, getVocabulary
assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size
public void assertConstraint(UnitPropagationListener s)
Constr
assertConstraint
in interface Constr
assertConstraint
in class HTClause
s
- a UnitPropagationListener to use for unit propagation.public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
public java.math.BigInteger getCoef(int literal)