org.sat4j.pb.constraints.pb

Interface IWatchPb

All Superinterfaces:

Constr, IConstr, PBConstr

All Known Implementing Classes:

MaxWatchPb, MaxWatchPbLongCP, MinWatchPb, MinWatchPbLongCP, PuebloMinWatchPb, WatchPb, WatchPbLongCP

public interface IWatchPb
extends PBConstr

Method Summary

Modifier and Type	Method and Description
java.math.BigInteger	slackConstraint(java.math.BigInteger[] theCoefs, java.math.BigInteger theDegree)

Methods inherited from interface org.sat4j.pb.constraints.pb.PBConstr

computeAnImpliedClause, getCoef, getCoefs, getDegree, getLits, getVocabulary

Methods inherited from interface org.sat4j.minisat.core.Constr

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, setLearnt, simplify

Methods inherited from interface org.sat4j.specs.IConstr

canBePropagatedMultipleTimes, get, getActivity, learnt, size

Method Detail

slackConstraint

java.math.BigInteger slackConstraint(java.math.BigInteger[] theCoefs,
                                     java.math.BigInteger theDegree)