public String createNewVariableOnSolver ( final String prefix ) { final int index = this . name2idx . size ( ) + 1 ; final String varName = prefix + "_" + index ; this . name2idx . put ( varName , index ) ; this . idx2name . put ( index , varName ) ; return varName ; }
Creates a new variable on the solver and returns its name .