Uses of Class
kodkod.engine.Solution

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

Uses of Solution in kodkod.engine
 

Methods in kodkod.engine that return Solution
 Solution Solver.solve(Formula formula, Bounds bounds)
          Attempts to satisfy the given formula with respect to the specified bounds or prove the formula's unsatisfiability.
 Solution Solver.solve(Formula formula, Bounds bounds, Cost cost)
          Attempts to satisfy the given formula with respect to the specified bounds, while minimizing the specified cost function.
 

Methods in kodkod.engine that return types with arguments of type Solution
 java.util.Iterator<Solution> Solver.solveAll(Formula formula, Bounds bounds)
          Attempts to find all solutions to the given formula with respect to the specified bounds or to prove the formula's unsatisfiability.