コード例 #1
0
ファイル: Encoding.java プロジェクト: tuura/workcraft
 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++)));
 }