Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

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

class

MinCostDecorator A decorator that computes minimal cost models.

Uses of IOptimizationProblem in org.sat4j.opt

Classes in org.sat4j.opt that implement IOptimizationProblem

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

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

OptToPBSATAdapter(IOptimizationProblem problem)

Uses of IOptimizationProblem in org.sat4j.pb.tools

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

class

LexicoDecoratorPB

Uses of IOptimizationProblem in org.sat4j.tools

Classes in org.sat4j.tools that implement IOptimizationProblem

class

LexicoDecorator<T extends ISolver>

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

OptToSatAdapter(IOptimizationProblem problem)