LearnLib / learnlib / 239

95%

push

travis-ci

Add OSTIA algorithm (#74)

* OSTIA sketch

* initial refactoring into separate module

* initial integration of LearnLib/AutomataLib interfaces

* small adjustment in tests

* renaming (Sub)SequentialTransducer

* fixed IllegalArgumentException, onwardForm algorithm, minor refactorization

* add utility classes and provide alternative onward computation

* fixed OSTIA buildPtt procedure to allow for non-sorted informants, minor improvements and optimizations

* cleanups and refactorings

* removed dead code
* refactored some interfaces/classes
* added new test cases
* applied style guidelines

* OSTIA characteristic sample

* some more refactorings

* documentation
* move some utility to AutomataLib
* streamlining interfaces

* attempt at handling initial states in onward transformation

* fix onward computation

* some more cleanups

* switch to the development version of AutomataLib

* fixes bug in blue-fringe

* some minor cleanups

* refactoring the `State` class
* fix issues reported by the code-anylsis tools

* brought back formal guarantees

* aggregate shared data in parent class

* add some more test cases

* make null-analysis happy

Co-authored-by: Alagris <alagris12358@gmail.com>
Co-authored-by: Markus Frohme <markus.frohme@udo.edu>

337 of 337 new or added lines in 9 files covered. (100.0%)

8986 of 9927 relevant lines covered (90.52%)

1.62 hits per line