Uses of Class
kodkod.engine.AbortedException

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

Uses of AbortedException in kodkod.engine
 

Methods in kodkod.engine that throw AbortedException
 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.
 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.