public interface IWatchPb extends PBConstr
Modifier and Type | Method and Description |
---|---|
BigInteger |
slackConstraint(BigInteger[] theCoefs,
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
BigInteger slackConstraint(BigInteger[] theCoefs, BigInteger theDegree)
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.