Uses of Class
org.sat4j.tools.SolverDecorator

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

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	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	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

Xplain<T extends ISolver> An implementation of the QuickXplain algorithm as explained by Ulrich Junker in the following paper: