LearnLib / ralib

Apache License 2.0
4 stars 2 forks source link

Rattt dt incremental sifting #32

Closed fhowar closed 1 year ago

fhowar commented 1 year ago

Implementation of incremental merging + optimisation in case of input/input and output/output concatenations between prefixes and suffixes in io mode.