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

Field Summary

Fields inherited from interface org.sat4j.specs.Constr

TAUTOLOGY

Method Summary

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

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

computeAnImpliedClause, getCoef, getCoefs, getDegree, getLits, getSumCoefs, getVocabulary

Methods inherited from interface org.sat4j.specs.Constr

assertConstraint, assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBeSatisfiedByCountingLiterals, forwardActivity, getAssertionLevel, incActivity, isSatisfied, locked, register, remove, requiredNumberOfSatisfiedLiterals, rescaleBy, setActivity, setLearnt, simplify

Methods inherited from interface org.sat4j.specs.IConstr

canBePropagatedMultipleTimes, dump, get, getActivity, learnt, size, toString

Method Detail

slackConstraint

BigInteger slackConstraint(BigInteger[] theCoefs,
                           BigInteger theDegree)