Uses of Class
kodkod.engine.satlab.Clause

Packages that use Clause
kodkod.engine.satlab Provides access to various Java and C++ SAT solvers through a common SAT Solver interface. 
 

Uses of Clause in kodkod.engine.satlab
 

Methods in kodkod.engine.satlab that return Clause
 Clause ResolutionTrace.get(int index)
          Returns the clause at the given index.
 

Methods in kodkod.engine.satlab that return types with arguments of type Clause
abstract  java.util.Iterator<Clause> Clause.antecedents()
          Returns an iterator that traverses this.antecedents in proper sequence.
 java.util.Iterator<Clause> ResolutionTrace.iterator()
          Returns an iterator over the elements in this trace in proper sequence.
 java.util.Iterator<Clause> ResolutionTrace.iterator(IntSet indices)
          Returns an iterator over the elements at the given indices in this trace, in proper sequence.
 java.util.Iterator<Clause> ResolutionTrace.reverseIterator(IntSet indices)
          Returns an iterator over the elements at the given indices in this trace, in the reverse order of indices.