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