Uses of Interface
org.sat4j.pb.IPBSolver

Packages that use IPBSolver
org.sat4j.pb   
org.sat4j.pb.core   
org.sat4j.pb.reader   
org.sat4j.pb.tools   
 

Uses of IPBSolver in org.sat4j.pb
 

Classes in org.sat4j.pb that implement IPBSolver
 class ConstraintRelaxingPseudoOptDecorator
           
 class OPBStringSolver
          Solver used to display in a string the pb-instance in OPB format.
 class OptToPBSATAdapter
          Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.
 class PBSolverDecorator
          A decorator for the PB solvers.
 class PseudoBitsAdderDecorator
          A decorator that computes minimal pseudo boolean models.
 class PseudoIteratorDecorator
          A decorator that computes all pseudo boolean models.
 class PseudoOptDecorator
          A decorator that computes minimal pseudo boolean models.
 class UserFriendlyPBStringSolver<T>
          Solver to display SAT instances using domain objects names instead of Dimacs numbers.
 

Methods in org.sat4j.pb that return IPBSolver
 IPBSolver SolverFactory.defaultSolver()
           
 IPBSolver SolverFactory.lightSolver()
           
static IPBSolver SolverFactory.newBoth()
          Resolution and CuttingPlanes based solvers running in parallel.
static IPBSolver SolverFactory.newCuttingPlanes()
          Cutting Planes based solver.
static IPBSolver SolverFactory.newCuttingPlanesAggressiveCleanup()
          Cutting Planes based solver.
static IPBSolver SolverFactory.newDefault()
          Default solver of the SolverFactory.
static IPBSolver SolverFactory.newDefaultNonNormalized()
          Default solver of the SolverFactory for instances not normalized.
static IPBSolver SolverFactory.newEclipseP2()
           
static IPBSolver SolverFactory.newLight()
          Small footprint SAT solver.
static IPBSolver SolverFactory.newOPBStringSolver()
           
static IPBSolver SolverFactory.newResolution()
          Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
static IPBSolver SolverFactory.newResolutionMaxMemory()
          Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
static IPBSolver SolverFactory.newResolutionSimpleRestarts()
          Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
static IPBSolver SolverFactory.newSimpleSimplification()
          Resolution based solver (i.e. classic SAT solver able to handle generic constraints.
 

Constructors in org.sat4j.pb with parameters of type IPBSolver
ConstraintRelaxingPseudoOptDecorator(IPBSolver solver)
           
PBSolverDecorator(IPBSolver solver)
           
PseudoBitsAdderDecorator(IPBSolver solver)
           
PseudoIteratorDecorator(IPBSolver solver)
           
PseudoOptDecorator(IPBSolver solver)
           
 

Constructor parameters in org.sat4j.pb with type arguments of type IPBSolver
LanceurPseudo2007(ASolverFactory<IPBSolver> factory)
           
 

Uses of IPBSolver in org.sat4j.pb.core
 

Classes in org.sat4j.pb.core that implement IPBSolver
 class PBSolver
           
 class PBSolverCautious
           
 class PBSolverClause
           
 class PBSolverCP
           
 class PBSolverMerging
           
 class PBSolverResCP
           
 class PBSolverResolution
           
 class PBSolverWithImpliedClause
           
 

Uses of IPBSolver in org.sat4j.pb.reader
 

Fields in org.sat4j.pb.reader declared as IPBSolver
protected  IPBSolver OPBReader2005.solver
           
 

Constructors in org.sat4j.pb.reader with parameters of type IPBSolver
OPBEclipseReader2007(IPBSolver solver)
           
OPBReader2005(IPBSolver solver)
           
OPBReader2006(IPBSolver solver)
           
OPBReader2007(IPBSolver solver)
           
OPBReader2010(IPBSolver solver)
           
PBInstanceReader(IPBSolver solver)
           
 

Uses of IPBSolver in org.sat4j.pb.tools
 

Classes in org.sat4j.pb.tools that implement IPBSolver
 class ClausalConstraintsDecorator
           
 class LexicoDecoratorPB
           
 class ManyCorePB
           
 class XplainPB
           
 

Methods in org.sat4j.pb.tools that return IPBSolver
 IPBSolver DependencyHelper.getSolver()
           
 

Constructors in org.sat4j.pb.tools with parameters of type IPBSolver
ClausalConstraintsDecorator(IPBSolver pbsolver)
           
DependencyHelper(IPBSolver solver)
           
DependencyHelper(IPBSolver solver, boolean explanationEnabled)
           
DependencyHelper(IPBSolver solver, boolean explanationEnabled, boolean canonicalOptFunctionEnabled)
           
LexicoDecoratorPB(IPBSolver solver)
           
LexicoHelper(IPBSolver solver)
           
LexicoHelper(IPBSolver solver, boolean explanationEnabled)
           
LexicoHelper(IPBSolver solver, boolean explanationEnabled, boolean canonicalOptFunctionEnabled)
           
ManyCorePB(IPBSolver... solverNames)
           
XplainPB(IPBSolver solver)
           
 

Constructor parameters in org.sat4j.pb.tools with type arguments of type IPBSolver
ManyCorePB(ASolverFactory<IPBSolver> factory, String... solverNames)
           
 



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