public void updateEncoding(String s) { int k = 0; Set<Variable> sortedVariables = new TreeSet<>(states.keySet()); for (Variable var : sortedVariables) states.put(var, VariableState.fromChar(s.charAt(k++))); }