Package | Description |
---|---|
org.sat4j.opt | |
org.sat4j.pb | |
org.sat4j.pb.tools | |
org.sat4j.tools |
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.
|
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.
|
Constructor and Description |
---|
OptToPBSATAdapter(IOptimizationProblem problem) |
OptToPBSATAdapter(IOptimizationProblem problem,
SolutionFoundListener sfl) |
Modifier and Type | Class and Description |
---|---|
class |
LexicoDecoratorPB |
class |
SteppedTimeoutLexicoDecoratorPB |
Modifier and Type | Class and Description |
---|---|
class |
LexicoDecorator<T extends ISolver> |
Constructor and Description |
---|
OptToSatAdapter(IOptimizationProblem problem) |
OptToSatAdapter(IOptimizationProblem problem,
SolutionFoundListener sfl) |