use of kodkod.util.collections.IdentityHashSet in project org.alloytools.alloy by AlloyTools.
the class ReductionAndProofTest method reduce.
private Set<Node> reduce(Formula formula, int granularity) {
solver.options().setCoreGranularity(granularity);
final Solution sol = solver.solve(formula, bounds);
assertEquals(Solution.Outcome.TRIVIALLY_UNSATISFIABLE, sol.outcome());
sol.proof().minimize(null);
return new IdentityHashSet<Node>(sol.proof().highLevelCore().values());
}
Aggregations