Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

Package	Description
org.sat4j.opt	Built-in optimization framework.
org.sat4j.tools	Tools to be used on top of an ISolver.

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.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)
OptToSatAdapter(IOptimizationProblem problem, SolutionFoundListener sfl)