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. 
 

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.
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.