Uses of Interface
org.sat4j.specs.IOptimizationProblem

Packages that use IOptimizationProblem

Package	Description
org.sat4j.opt
org.sat4j.pb
org.sat4j.pb.tools
org.sat4j.tools

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

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
class	SteppedTimeoutLexicoDecoratorPB

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)