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

Packages that use SATProver.Clause
kodkod.engine.satlab   
 

Uses of SATProver.Clause in kodkod.engine.satlab
 

Methods in kodkod.engine.satlab that return SATProver.Clause
 SATProver.Clause SATProver.proof()
          Returns a Clause that proves the unsatisfiability of this.clauses.
 

Methods in kodkod.engine.satlab that return types with arguments of type SATProver.Clause
 java.util.Set<SATProver.Clause> SATProver.Clause.antecedents()
          Returns an unmodifiable set view of this.antecedents.