Uses of Class
org.sat4j.pb.PBSolverDecorator

Packages that use PBSolverDecorator

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers
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 PBSolverDecorator in org.sat4j.pb

Subclasses of PBSolverDecorator in org.sat4j.pb

Modifier and Type	Class and Description
class	ConstraintRelaxingPseudoOptDecorator
class	OptToPBSATAdapter Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.
class	PBSolverHandle A PBSolverHandle is a PBSolverDecorator in which it is possible to change the decorated solver, in contrast with classical decorators.
class	PBTimeoutIsolator Solver Decorator to prevent the solver to receive a programmatic timeout change.
class	PseudoIteratorDecorator A decorator that computes all pseudo boolean models.
class	PseudoOptDecorator A decorator that computes minimal pseudo boolean models.

Uses of PBSolverDecorator in org.sat4j.pb.core

Subclasses of PBSolverDecorator in org.sat4j.pb.core

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

Uses of PBSolverDecorator in org.sat4j.pb.multiobjective

Subclasses of PBSolverDecorator in org.sat4j.pb.multiobjective

Modifier and Type	Class and Description
class	AbstractLinMultiObjOptimizer A partial implementation of the IMUltiObjectivePBSolver interface designed to handle optimization functions which are a linear aggregation of other objective functions.
class	MinSumOWAOptimizer An optimizer intended to solve an increasing weights OWA based problem.
class	OrderedObjsOWAOptimizer An optimizer intended to solve an OWA based problem.

Uses of PBSolverDecorator in org.sat4j.pb.tools

Subclasses of PBSolverDecorator in org.sat4j.pb.tools

Modifier and Type	Class and Description
class	OptimalModelIterator