|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |