Uses of Class
kodkod.engine.TimeoutException

Packages that use TimeoutException
kodkod.engine   
kodkod.engine.satlab   
 

Uses of TimeoutException in kodkod.engine
 

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

Uses of TimeoutException in kodkod.engine.satlab
 

Methods in kodkod.engine.satlab that throw TimeoutException
 boolean SATSolver.solve()
          Returns true if there is a satisfying assignment for this.clauses.