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	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	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.newCuttingPlanes() 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.

Constructors in org.sat4j.pb with parameters of type IPBSolver

PBSolverDecorator(IPBSolver solver)

PseudoIteratorDecorator(IPBSolver solver)

PseudoOptDecorator(IPBSolver solver)

Uses of IPBSolver in org.sat4j.pb.core

Classes in org.sat4j.pb.core that implement IPBSolver

class	PBSolver
class	PBSolverClause
class	PBSolverCP
class	PBSolverMerging
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)

PBInstanceReader(IPBSolver solver)

Uses of IPBSolver in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools that implement IPBSolver

class

XplainPB

Constructors in org.sat4j.pb.tools with parameters of type IPBSolver

DependencyHelper(IPBSolver solver)

DependencyHelper(IPBSolver solver, boolean explanationEnabled)

XplainPB(IPBSolver solver)