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