public final class OriginalHTClausePB extends OriginalHTClause implements PBConstr
Constructor and Description |
---|
OriginalHTClausePB(IVecInt ps,
ILits voc) |
Modifier and Type | Method and Description |
---|---|
static OriginalHTClausePB |
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, register, setActivity, setLearnt
assertConstraint, 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
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 OriginalHTClausePB 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.