Uses of Class
org.sat4j.maxsat.WeightedMaxSatDecorator

Packages that use WeightedMaxSatDecorator

Package	Description
org.sat4j.maxsat.reader	Some utility classes to read problems from plain text files.

Uses of WeightedMaxSatDecorator in org.sat4j.maxsat.reader

Constructors in org.sat4j.maxsat.reader with parameters of type WeightedMaxSatDecorator

Constructor and Description
MSInstanceReader(WeightedMaxSatDecorator solver)
WDimacsReader(WeightedMaxSatDecorator solver)
WDimacsReader(WeightedMaxSatDecorator solver, String format)