|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SolverDecorator | |
---|---|
org.sat4j.opt | Built-in optimization framework. |
org.sat4j.tools | Tools to be used on top of an ISolver. |
Uses of SolverDecorator in org.sat4j.opt |
---|
Subclasses of SolverDecorator in org.sat4j.opt | |
---|---|
class |
AbstractSelectorVariablesDecorator
|
class |
MaxSatDecorator
|
class |
MinCostDecorator
A decorator that computes minimal cost models. |
class |
MinOneDecorator
Computes a solution with the smallest number of satisfied literals. |
class |
PseudoOptDecorator
A decorator that computes minimal pseudo boolean models. |
class |
WeightedMaxSatDecorator
|
Uses of SolverDecorator in org.sat4j.tools |
---|
Subclasses of SolverDecorator in org.sat4j.tools | |
---|---|
class |
GateTranslator
Utility class to easily feed a SAT solver using logical gates. |
class |
Minimal4CardinalityModel
Computes models with a minimal number (with respect to cardinality) of negative literals. |
class |
Minimal4InclusionModel
Computes models with a minimal subset (with respect to set inclusion) of negative literals. |
class |
ModelIterator
That class allows to iterate through all the models (implicants) of a formula. |
class |
SingleSolutionDetector
This solver decorator allows to detect whether or not the set of constraints available in the solver has only one solution or not. |
class |
SolutionCounter
Another solver decorator that counts the number of solutions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |