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