public interface IWatchPb extends PBConstr
Modifier and Type | Method and Description |
---|---|
java.math.BigInteger |
slackConstraint(java.math.BigInteger[] theCoefs,
java.math.BigInteger theDegree) |
computeAnImpliedClause, getCoef, getCoefs, getDegree, getLits, getVocabulary
assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify
canBePropagatedMultipleTimes, get, getActivity, learnt, size