Uses of Class
org.sat4j.pb.constraints.pb.WatchPb

Packages that use WatchPb
org.sat4j.pb.constraints   
org.sat4j.pb.constraints.pb Implementations of pseudo boolean contraints. 
 

Uses of WatchPb in org.sat4j.pb.constraints
 

Methods in org.sat4j.pb.constraints that return WatchPb
protected  WatchPb PBMaxDataStructure.learntConstraintFactory(IDataStructurePB dspb)
           
 

Uses of WatchPb in org.sat4j.pb.constraints.pb
 

Subclasses of WatchPb in org.sat4j.pb.constraints.pb
 class MaxWatchPb
           
 class MinWatchPb
           
 class PuebloMinWatchPb
           
 

Methods in org.sat4j.pb.constraints.pb that return WatchPb
static WatchPb MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
           
static WatchPb MaxWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
           
static WatchPb PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
           
 

Methods in org.sat4j.pb.constraints.pb with parameters of type WatchPb
 java.math.BigInteger IConflict.reduceInConstraint(WatchPb wpb, java.math.BigInteger[] coefsBis, int indLitImplied, java.math.BigInteger degreeBis)
          Reduction d'une contrainte On supprime un litteral non assigne prioritairement, vrai sinon.
 java.math.BigInteger ConflictMap.reduceInConstraint(WatchPb wpb, java.math.BigInteger[] coefsBis, int indLitImplied, java.math.BigInteger degreeBis)
          constraint reduction : removes a literal of the constraint.
protected  java.math.BigInteger ConflictMap.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb)
           
protected  java.math.BigInteger ConflictMapMerging.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb)
          reduces the constraint defined by wpb until the result of the cutting plane is a conflict.
protected  java.math.BigInteger ConflictMapClause.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb)
          reduces the constraint defined by wpb until the result of the cutting plane is a conflict.
 



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