public final class LearntBinaryClausePB extends LearntBinaryClause implements PBConstr
activity, head, tail
Constructor and Description |
---|
LearntBinaryClausePB(IVecInt ps,
ILits voc) |
Modifier and Type | Method and Description |
---|---|
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()
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.