LearnLib / ralib

Apache License 2.0
4 stars 2 forks source link

Check for alternative distinguishing suffixes #49

Closed FredrikTaquist closed 1 year ago

FredrikTaquist commented 1 year ago

When splitting a location, look for alternative suffixes that are shorter by examining more outgoing transitions.