public Variable() { value = 0; constraints = new Vector<>(2); determinedBy = null; walkStrength = Strength.absoluteWeakest(); stay = true; mark = 0; }