Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

Package	Description
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.opt	Built-in optimization framework.
org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of IOptimizationProblem in org.sat4j.maxsat

Classes in org.sat4j.maxsat that implement IOptimizationProblem

Modifier and Type	Class and Description
class	MinCostDecorator A decorator that computes minimal cost models.

Uses of IOptimizationProblem in org.sat4j.opt

Classes in org.sat4j.opt that implement IOptimizationProblem

Modifier and Type	Class and Description
class	AbstractSelectorVariablesDecorator Abstract class which adds a new "selector" variable for each clause entered in the solver.
class	MaxSatDecorator Computes a solution that satisfies the maximum of clauses.
class	MinOneDecorator Computes a solution with the smallest number of satisfied literals.

Uses of IOptimizationProblem in org.sat4j.pb

Classes in org.sat4j.pb that implement IOptimizationProblem

Modifier and Type	Class and Description
class	ConstraintRelaxingPseudoOptDecorator
class	PseudoIteratorDecorator A decorator that computes all pseudo boolean models.
class	PseudoOptDecorator A decorator that computes minimal pseudo boolean models.

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

Constructor and Description
OptToPBSATAdapter(IOptimizationProblem problem)

Uses of IOptimizationProblem in org.sat4j.pb.tools

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

Modifier and Type	Class and Description
class	LexicoDecoratorPB

Uses of IOptimizationProblem in org.sat4j.tools

Classes in org.sat4j.tools that implement IOptimizationProblem

Modifier and Type	Class and Description
class	LexicoDecorator<T extends ISolver>

Constructors in org.sat4j.tools with parameters of type IOptimizationProblem

Constructor and Description
OptToSatAdapter(IOptimizationProblem problem)