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

Packages that use WatchPb
org.sat4j.minisat.constraints Implementations of various constraints for MiniSAT. 
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
 

Uses of WatchPb in org.sat4j.minisat.constraints
 

Methods in org.sat4j.minisat.constraints that return WatchPb
protected  WatchPb PBMaxDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, java.math.BigInteger degree)
           
protected  WatchPb PBMaxDataStructure.constraintFactory(IVecInt literals, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
           
protected  WatchPb PBMaxDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, boolean moreThan, int degree)
           
protected  WatchPb PBMaxDataStructure.constraintFactory(IVecInt literals, IVecInt coefs, int degree)
           
 

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

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

Methods in org.sat4j.minisat.constraints.pb that return WatchPb
static WatchPb PuebloMinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
           
static WatchPb MinWatchPb.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
           
static WatchPb MaxWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
           
static WatchPb PuebloMinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
           
static WatchPb MinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVec<java.math.BigInteger> coefs, boolean moreThan, java.math.BigInteger degree)
           
static WatchPb MaxWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)
           
static WatchPb PuebloMinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)
           
static WatchPb MinWatchPb.watchPbNew(ILits voc, IVecInt lits, IVecInt coefs, boolean moreThan, int degree)
           
 

Methods in org.sat4j.minisat.constraints.pb with parameters of type WatchPb
 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.
 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.
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. this reduction returns a clause.
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. this reduction returns a PB constraint.
protected  java.math.BigInteger ConflictMap.reduceUntilConflict(int litImplied, int ind, java.math.BigInteger[] reducedCoefs, WatchPb wpb)
           
 



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