Uses of Interface
org.sat4j.pb.IIntegerPBSolver

Packages that use IIntegerPBSolver

Package	Description
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.pb.multiobjective
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers

Uses of IIntegerPBSolver in org.sat4j.pb.core

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

Modifier and Type	Class and Description
class	IntegerPBSolverDecorator A PBSolver decorator which allow a PBSolver to handle integer variables.

Uses of IIntegerPBSolver in org.sat4j.pb.multiobjective

Classes in org.sat4j.pb.multiobjective that implement IIntegerPBSolver

Modifier and Type	Class and Description
class	SumLeximinDecompositionOWAOptimizer

Fields in org.sat4j.pb.multiobjective declared as IIntegerPBSolver

Modifier and Type	Field and Description
protected IIntegerPBSolver	AbstractLinMultiObjOptimizer.integerSolver

Constructors in org.sat4j.pb.multiobjective with parameters of type IIntegerPBSolver

Constructor and Description
AbstractLinMultiObjOptimizer(IIntegerPBSolver solver)
LeximinDecorator(IIntegerPBSolver solver)
MinSumOWAOptimizer(IIntegerPBSolver solver, BigInteger[] weights)
MinSumOWAOptimizer(IIntegerPBSolver solver, int[] weights)
OrderedObjsOWAOptimizer(IIntegerPBSolver solver, BigInteger[] weights)
OrderedObjsOWAOptimizer(IIntegerPBSolver solver, int[] weights)
SumLeximinDecompositionOWAOptimizer(IIntegerPBSolver solver, BigInteger[] weights)
SumLeximinDecompositionOWAOptimizer(IIntegerPBSolver solver, int[] weights)

Uses of IIntegerPBSolver in org.sat4j.pb.tools

Classes in org.sat4j.pb.tools with type parameters of type IIntegerPBSolver

Modifier and Type	Class and Description
class	ManyCoreIntegerPB<S extends IIntegerPBSolver>

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

Modifier and Type	Class and Description
class	ManyCoreIntegerPB<S extends IIntegerPBSolver>

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

Constructor and Description
LeximinHelper(IIntegerPBSolver solver)
LeximinHelper(IIntegerPBSolver solver, boolean explanationEnabled)
LeximinHelper(IIntegerPBSolver solver, boolean explanationEnabled, boolean canonicalOptFunctionEnabled)
ManyCoreIntegerPB(S... iSolver)