public class UnitClausesPB extends UnitClauses implements PBConstr
literals
Constructor and Description |
---|
UnitClausesPB(IVecInt values) |
Modifier and Type | Method and Description |
---|---|
IVecInt |
computeAnImpliedClause() |
java.math.BigInteger |
getCoef(int literal) |
java.math.BigInteger[] |
getCoefs() |
java.math.BigInteger |
getDegree() |
int[] |
getLits() |
ILits |
getVocabulary() |
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, learnt, locked, propagate, register, remove, rescaleBy, setActivity, setLearnt, simplify, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size
public UnitClausesPB(IVecInt values)
public java.math.BigInteger getCoef(int literal)
public ILits getVocabulary()
getVocabulary
in interface PBConstr
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr