|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Statistics | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
Uses of Statistics in kodkod.engine |
---|
Methods in kodkod.engine that return Statistics | |
---|---|
Statistics |
Solution.stats()
Returns the statistics gathered while solving this.formula. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |