Uses of Class
org.sat4j.pb.PBSolverDecorator

Packages that use PBSolverDecorator

Package	Description
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.
org.sat4j.pb	Implementations of pseudo boolean solvers

Uses of PBSolverDecorator in org.sat4j.maxsat

Subclasses of PBSolverDecorator in org.sat4j.maxsat

Modifier and Type	Class and Description
class	MinCostDecorator A decorator that computes minimal cost models.
class	WeightedMaxSatDecorator A decorator for solving weighted MAX SAT problems.

Uses of PBSolverDecorator in org.sat4j.pb

Subclasses of PBSolverDecorator in org.sat4j.pb

Modifier and Type	Class and Description
class	ConstraintRelaxingPseudoOptDecorator
class	OptToPBSATAdapter Utility class to use optimization solvers instead of simple SAT solvers in code meant for SAT solvers.
class	PseudoIteratorDecorator A decorator that computes all pseudo boolean models.
class	PseudoOptDecorator A decorator that computes minimal pseudo boolean models.