Examples with Statistics kodkod.engine.Statistics used on opensource projects

Example 1 with Statistics

use of kodkod.engine.Statistics in project org.alloytools.alloy by AlloyTools.

the class SymmetryBreakingTest method solve.

private Instance solve(Formula f, Bounds b) {
    final Solution sol = solver.solve(f, b);
    final Statistics stats = sol.stats();
    pVars = stats.primaryVariables();
    iVars = stats.variables() - pVars;
    clauses = stats.clauses();
    return sol.instance();
}