- HashMap<Integer, ReadWriteSet> stateSummary;
- if (!mainSummary.containsKey(stateId)) {
- stateSummary = new HashMap<>();
- stateSummary.put(eventChoice, rwSet.getCopy());
- mainSummary.put(stateId, stateSummary);
- } else {
- stateSummary = mainSummary.get(stateId);
- if (!stateSummary.containsKey(eventChoice)) {
+ if (!rwSet.isEmpty()) {
+ HashMap<Integer, ReadWriteSet> stateSummary;
+ if (!mainSummary.containsKey(stateId)) {
+ stateSummary = new HashMap<>();