unique name

DominikPeters · Feb 20, 2024 · 235d431 · 235d431
1 parent 48d6a32
commit 235d431
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/model.js b/src/model.js
@@ -79,6 +79,9 @@ export class Model {
     addVar({ lb, ub, vtype, name } = {}) {
         if (name === null || name === undefined) {
             name = `Var${this.varCount++}`; // Assign an internal name if none provided
+            while (this.variables.has(name)) {
+                name = `Var${this.varCount++}`; // Ensure unique name
+            }
         } else if (this.variables.has(name)) {
             throw new Error(`Variable name '${name}' has already been used.`);
         }