Uses of Class
kodkod.engine.Solution.Outcome

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.