return true;
}
}
static ErrorType rethrow(CapacityExceededException ex) {
IntVector vec = ex.dims();
return new ErrorType(
"Translation capacity exceeded.\n"
+ "In this scope, universe contains " + vec.get(0) + " atoms\n"
+ "and relations of arity " + vec.size() + " cannot be represented.\n"
+ "Visit http://alloy.mit.edu/ for advice on refactoring.");
}