+ // Insert the event
+ if (!events.contains(nextChoiceValue)) {
+ events.add(nextChoiceValue);
+ }
+ }
+
+ // Summarize unique state IDs
+ private int summarizeUniqueStateIds() {
+ // Just count the set size of each of entry map and sum them up
+ int numOfUniqueTransitions = 0;
+ for (Map.Entry<Integer,HashSet<Integer>> entry : stateToUniqueEventMap.entrySet()) {
+ numOfUniqueTransitions = numOfUniqueTransitions + entry.getValue().size();
+ }
+ // We also need to count root and boolean CG if this is in state reduction mode (DPOR)
+ if (stateReductionMode) {
+ numOfUniqueTransitions = numOfUniqueTransitions + 3;
+ }
+
+ return numOfUniqueTransitions;