public void addName(final String name, int id) {
    this.name2idx.put(name, id);
    this.idx2name.put(id, name);
  }
public void addName ( final String name , int id ) { this . name2idx . put ( name , id ) ; this . idx2name . put ( id , name ) ; }
Adds a new variable name with a given variable index to this solver.
@param name the variable name
@param id   the variable index