Uses of Package
kodkod.engine

Packages that use kodkod.engine
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
 

Classes in kodkod.engine used by kodkod.engine
AbortedException
          Indicates that a solving or evaluation task has been aborted by calling Thread.interrupt on the solving (evaluation) thread.
Cost
          A cost function to be minimized during solving.
Proof
          Contains a proof of unsatisfiability of a given FOL formula.
Solution
          Represents the full solution to a formula: an instance if the formula is satisfiable or a proof of unsatisfiability if not.
Solution.Outcome
          Enumerates the possible outcomes of an attempt to find a model for a FOL formula.
Statistics
          Stores the statistics gathered while solving a given formula.