Beispiel #1
0
 @NotNull
 Set<DfaVariableValue> getChangedVariables() {
   return myVariableStates.keySet();
 }