Uses of Class
kodkod.engine.Statistics

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.