|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Proof | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
Uses of Proof in kodkod.engine |
---|
Methods in kodkod.engine that return Proof | |
---|---|
Proof |
Solution.proof()
Returns a proof of this.formula's unsatisfiability if the value returned by this.outcome() is UNSATISFIABLE or
TRIVIALLY_UNSATISFIABLE, translation logging was enabled during solving,
and a core extracting sat solver (if any)
was used to determine unsatisfiability. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |