Uses of Class
org.sat4j.pb.PseudoOptDecorator

Packages that use PseudoOptDecorator

Package	Description
org.sat4j.pb	Implementations of pseudo boolean solvers
org.sat4j.pb.multiobjective

Uses of PseudoOptDecorator in org.sat4j.pb

Subclasses of PseudoOptDecorator in org.sat4j.pb

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

Uses of PseudoOptDecorator in org.sat4j.pb.multiobjective

Subclasses of PseudoOptDecorator 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.