Uses of Class
org.sat4j.pb.Conflict

Packages that use Conflict

Package	Description
org.sat4j.pb

Uses of Conflict in org.sat4j.pb

Methods in org.sat4j.pb that return Conflict

Modifier and Type	Method and Description
Conflict<C>	Explanation.newConflict()

Methods in org.sat4j.pb that return types with arguments of type Conflict

Modifier and Type	Method and Description
List<Conflict<C>>	Explanation.getConflicts()