public final class OriginalBinaryClausePB extends OriginalBinaryClause implements PBConstr
activity, head, tail
Constructor and Description |
---|
OriginalBinaryClausePB(IVecInt ps,
ILits voc) |
Modifier and Type | Method and Description |
---|---|
static OriginalBinaryClausePB |
brandNewClause(UnitPropagationListener s,
ILits voc,
IVecInt literals)
Creates a brand new clause, presumably from external data.
|
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)
public static OriginalBinaryClausePB brandNewClause(UnitPropagationListener s, ILits voc, IVecInt literals)
s
- the object responsible for unit propagationvoc
- the vocabularyliterals
- the literals to store in the clause