| Package | Description |
|---|---|
| org.sat4j.pb.multiobjective | |
| org.sat4j.pb.tools |
Implementation of different tools for pseudo boolean solvers
|
| 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 |
LeximinDecorator |
class |
MinSumOWAOptimizer
An optimizer intended to solve an increasing weights OWA based problem.
|
class |
OrderedObjsOWAOptimizer
An optimizer intended to solve an OWA based problem.
|
class |
SumLeximinDecompositionOWAOptimizer |
| Constructor and Description |
|---|
LinMultiObjHelper(IMultiObjOptimizationProblem solver) |
LinMultiObjHelper(IMultiObjOptimizationProblem solver,
boolean explanationEnabled) |
LinMultiObjHelper(IMultiObjOptimizationProblem solver,
boolean explanationEnabled,
boolean canonicalOptFunctionEnabled) |
Copyright © 2020 Centre de Recherche en Informatique de Lens (CRIL). All rights reserved.