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