Variable names in callback (Java API)

This behavior is a bit strange but expected :-(

A Variable object is just a glorified index, that is, it contains only a single field: the index of the corresponding column in the underlying optimizer model (these indices are updated when variables are deleted).

As soon as you start optimization, the model will be presolved and the model will go from "original" state into a presolved state. In this presolved state, the indices stored in the Variable objects are no longer meaningful: they are indices in the original space but the model is now in presolved space in which the indices have different meanings. During a solve, the model in the original space is not available, so there is no way to make Variable.getName() make return the name you assigned (unless the column index points to the same column in original and presolved space by accident).

In order to print variable names from a callback you have to capture the names before you start the solve and then use the captured names when printing variables.

Here is an example code that prints a linear expression from a callback:

import java.util.Map;
import java.util.Arrays;
import static java.util.stream.Collectors.toMap;
import com.dashoptimization.*;
import com.dashoptimization.objects.*;
public final class NameInCallback {
  private static final class PreIntsolCallback implements XpressProblem.CallbackAPI.PreIntsolCallback {
    /** Variables in the model. */
    public final Variable[] x;
    /** Maps variables to their names. */
    public final Map<Variable,String> names;
    public PreIntsolCallback(Variable[] x, Map<Variable,String> names) {
      this.x = x;
      this.names = names;
    }
    @Override
    public void preIntsol(XpressProblem p, int soltype, IntHolder p_reject, DoubleHolder p_cutoff) {
      // Build the left-hand side of the cut.
      LinExpression lhs = LinExpression.create();
      lhs.addTerm(2.0, x[0]);
      lhs.addTerm(3.0, x[1]);
      // Get a linear view on the expression and print that.
      // The cast to Expression is not necessary. It is only here to illustrate
      // that you can do this with any expression. If the expression is not an
      // instance of a linear expression class then getLinearView() will raise
      // an exception.
      for (LinCoef t : ((Expression)lhs).getLinearView()) {
        System.out.printf(" %+f*%s", t.getCoefficient(), names.get(t.getVariable()));
      }
      System.out.println();
    }
  }
  public static void main(String[] args) {
    try (XpressProblem prob = new XpressProblem()) {
      Variable[] x = prob.addVariables(10).withName(i -> "myX" + i).toArray();
      prob.callbacks.addPreIntsolCallback(new PreIntsolCallback(prob.getVariables(),
                                                                Arrays.stream(prob.getVariables()).collect(toMap(v -> v, v -> v.getName()))));
      prob.optimize();
    }
  }
}

We have already identified this as "not so nice" and have already filed a user wish to make it possible to print expressions from callbacks with the correct variable names, even if the model is in a presolved state.