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() |
BigInteger |
getCoef(int literal) |
BigInteger[] |
getCoefs() |
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 BigInteger getCoef(int literal)
public BigInteger[] getCoefs()
public BigInteger getDegree()
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 clauseCopyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.