Uses of Interface
org.sat4j.pb.IPBSolver

Packages that use IPBSolver

org.sat4j.pb
org.sat4j.pb.core
org.sat4j.pb.reader

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	PseudoOptDecorator A decorator that computes minimal pseudo boolean models.

Methods in org.sat4j.pb that return IPBSolver

IPBSolver	SolverFactory.defaultSolver()
IPBSolver	SolverFactory.lightSolver()
static IPBSolver	SolverFactory.newDefault() Default solver of the SolverFactory.
static IPBSolver	SolverFactory.newEclipseP2()
static IPBSolver	SolverFactory.newLight() Small footprint SAT solver.
static IPBSolver	SolverFactory.newOPBStringSolver()

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

PBSolverDecorator(IPBSolver solver)

PseudoOptDecorator(IPBSolver solver)

Uses of IPBSolver in org.sat4j.pb.core

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

class	PBSolver<L extends ILits>
class	PBSolverClause
class	PBSolverCP<L extends ILits>
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

GoodOPBReader(IPBSolver solver)

OPBEclipseReader2007(IPBSolver solver)

OPBReader2005(IPBSolver solver)

OPBReader2006(IPBSolver solver)

OPBReader2007(IPBSolver solver)

PBInstanceReader(IPBSolver solver)