|
||||||||||
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. |
org.sat4j.tools.xplain | Implementation of an explanation engine in case of unsatisfiability. |
Uses of SolverDecorator in org.sat4j.opt |
---|
Subclasses of SolverDecorator in org.sat4j.opt | |
---|---|
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 SolverDecorator in org.sat4j.tools |
---|
Subclasses of SolverDecorator in org.sat4j.tools | |
---|---|
class |
ClausalCardinalitiesDecorator<T extends ISolver>
A decorator for clausal cardinalities constraints. |
class |
GateTranslator
Utility class to easily feed a SAT solver using logical gates. |
class |
LexicoDecorator<T extends ISolver>
|
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 |
OptToSatAdapter
|
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. |
Uses of SolverDecorator in org.sat4j.tools.xplain |
---|
Subclasses of SolverDecorator in org.sat4j.tools.xplain | |
---|---|
class |
HighLevelXplain<T extends ISolver>
Computation of MUS in a structured CNF, i.e. the clauses belong to components, the explanation is to be extracted in terms of components. |
class |
Xplain<T extends ISolver>
Explanation framework for SAT4J. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |