}
// Range Check
for (int i = 0; i < total; i++) {
String var = MessageFormat.format(varPattern, i);
result.add(new Assert(new Predicate(Operator.AND, new Predicate(
Operator.GE, new Variable(var), new Constant(1)),
new Predicate(Operator.LE, new Variable(var), new Constant(
size * size)))));
}
// Assigned values
for (int[] assign : assigned) {
String var = MessageFormat.format(varPattern,
translate(assign[0], assign[1]));
result.add(new Assert(new Predicate(Operator.EQUAL, new Variable(
var), new Constant(assign[2]))));
}
// Limitations
// Columns and rows
for (int i = 0; i < size * size; i++) {
for (int j = 0; j < size * size; j++) {