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