org.sat4j.pb.constraints.pb
Interface IWatchPb

All Superinterfaces:

Constr, IConstr, PBConstr, Propagatable

All Known Implementing Classes:

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

public interface IWatchPb
extends PBConstr

Method Summary

BigInteger

slackConstraint(BigInteger[] theCoefs, 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, calcReason, forwardActivity, incActivity, locked, register, remove, rescaleBy, setLearnt, simplify

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

propagate

Methods inherited from interface org.sat4j.specs.IConstr

canBePropagatedMultipleTimes, get, getActivity, learnt, size

Method Detail

slackConstraint

BigInteger slackConstraint(BigInteger[] theCoefs,
                           BigInteger theDegree)