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
 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, setActivity, setLearnt, simplify
 
Methods inherited from interface org.sat4j.specs.IConstr
canBePropagatedMultipleTimes, get, getActivity, learnt, size
 

Method Detail

slackConstraint

BigInteger slackConstraint(BigInteger[] theCoefs,
                           BigInteger theDegree)


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.