|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Solution.Outcome | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
Uses of Solution.Outcome in kodkod.engine |
---|
Methods in kodkod.engine that return Solution.Outcome | |
---|---|
Solution.Outcome |
Solution.outcome()
Returns the outcome of the attempt to find a model for this.formula. |
static Solution.Outcome |
Solution.Outcome.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static Solution.Outcome[] |
Solution.Outcome.values()
Returns an array containing the constants of this enum type, in the order they're declared. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |