Uses of Class
kodkod.engine.Proof

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.