ModelBuilder implements IModelBuilder { @Override public void add(Element... elements) { for (Element element : elements) { addElement(element); } }  @Override Stream<Element> elements(); @Override void reset(); @Override void add(Element... elements); @Override void add(Collection<? extends Element> elements); @Override TypeInst<?, ?> getElementByName(String name); @Override Collection<String> getConstraintGroups(); @Override IModelBuilder rebuildIgnoringConstraintGroups(String... constraintGroups); @Override IModelBuilder rebuildChangingConstraints(IConstraintRelaxation constraintRelaxation); @Override boolean isRelaxed();  }
@Test public void testTwoUnnamedConstraints() { IntegerVariable x3 = new IntegerVariable("x3"); BooleanExpression expression1 = new RelationalOperation<>(x3, RelationalOperator.EQ, new IntegerConstant(2)); BooleanExpression expression2 = new RelationalOperation<>(x3, RelationalOperator.EQ, new IntegerConstant(3)); ModelBuilder modelBuilder = new ModelBuilder(); modelBuilder.add(new Constraint(expression1), new Constraint(expression2)); }