Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
org.sat4j.minisat.constraints.pb.PBConstr

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

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

Classes in org.sat4j.minisat.constraints.pb that implement PBConstr
 class AtLeastPB
           
 class MaxWatchPb
           
 class MinWatchCardPB
           
 class MinWatchPb
           
 class MixableCBClausePB
           
 class PuebloMinWatchPb
           
 class WatchPb
           
 class WLClausePB
           
 

Methods in org.sat4j.minisat.constraints.pb with parameters of type PBConstr
static IConflict ConflictMapMerging.createConflict(PBConstr cpb, int level)
           
static IConflict ConflictMapClause.createConflict(PBConstr cpb, int level)
           
static IConflict ConflictMap.createConflict(PBConstr cpb, int level)
          constructs the data structure needed to perform cutting planes
 java.math.BigInteger MapPb.cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, VarActivityListener val)
           
 java.math.BigInteger IDataStructurePB.cuttingPlane(PBConstr cpb, java.math.BigInteger degreeCons, java.math.BigInteger[] reducedCoefs, java.math.BigInteger coefMult, VarActivityListener val)
           
 java.math.BigInteger MapPb.cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, VarActivityListener val)
           
 java.math.BigInteger IDataStructurePB.cuttingPlane(PBConstr cpb, java.math.BigInteger deg, java.math.BigInteger[] reducedCoefs, VarActivityListener val)
           
 java.math.BigInteger ConflictMap.resolve(PBConstr cpb, int litImplied, VarActivityListener val)
          computes a cutting plane with a pseudo-boolean constraint. this method updates the current instance (of ConflictMap).
 java.math.BigInteger IConflict.resolve(PBConstr cpb, int litImplied, VarActivityListener val)
          Effectue une resolution avec une contrainte PB.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES