Uses of Class
kodkod.engine.fol2sat.HigherOrderDeclException

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

Uses of HigherOrderDeclException in kodkod.engine
 

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