|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |