Uses of Class
org.sat4j.pb.Explanation

Packages that use Explanation

Package	Description
org.sat4j.pb

Uses of Explanation in org.sat4j.pb

Constructors in org.sat4j.pb with parameters of type Explanation

Constructor and Description
Conflict(Explanation<C> explanation)
DepdendenyNode(C name, Explanation<C> explanation)