Uses of Interface
kodkod.engine.satlab.SATProof.Clause

Packages that use SATProof.Clause
kodkod.engine.satlab   
 

Uses of SATProof.Clause in kodkod.engine.satlab
 

Methods in kodkod.engine.satlab that return types with arguments of type SATProof.Clause
 java.util.Iterator<SATProof.Clause> SATProof.proof()
          Returns an iterator over the resolution trace that proves the unsatisfiability of this.clauses.