Details
-
Improvement
-
Status: Open
-
Minor
-
Resolution: Unresolved
-
None
-
None
-
None
Description
As shown in the above pictures,
// code placeholder nfaState.getPartialMatches() .removeIf(pm -> pm.getStartEventID() != null && !partialMatches.contains(pm));
This code is unnecessary. After method processMatchesAccordingToSkipStrategy,
// code placeholder
nfaState.setNewPartialMatches(newPartialMatches)
It is very time-consuming when there are many partial matches.