Uses of Interface
kodkod.engine.Cost

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

Uses of Cost in kodkod.engine
 

Methods in kodkod.engine with parameters of type Cost
 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.