Uses of Class
org.sat4j.maxsat.UnitWeightedClause

Packages that use UnitWeightedClause

Package	Description
org.sat4j.maxsat	MAXSAT and Weighted Max SAT framework.

Uses of UnitWeightedClause in org.sat4j.maxsat

Methods in org.sat4j.maxsat that return UnitWeightedClause

Modifier and Type	Method and Description
static UnitWeightedClause	UnitWeightedClause.instance()