public final class UnitClausePB extends UnitClause implements PBConstr
activity, literal
Constructor and Description |
---|
UnitClausePB(int value,
ILits voc) |
Modifier and Type | Method and Description |
---|---|
IVecInt |
computeAnImpliedClause() |
BigInteger |
getCoef(int p) |
BigInteger[] |
getCoefs() |
BigInteger |
getDegree() |
int[] |
getLits() |
ILits |
getVocabulary() |
assertConstraint, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, learnt, locked, propagate, register, remove, rescaleBy, setActivity, setLearnt, simplify, size, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
assertConstraint, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size
public UnitClausePB(int value, ILits voc)
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
public BigInteger getCoef(int p)
public BigInteger[] getCoefs()
public BigInteger getDegree()
public ILits getVocabulary()
getVocabulary
in interface PBConstr
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.