LearnLib / automatalib / 6310178238

93%

push

github

Re-integrate the work on procedural systems (#58)

* initial import of SBAs and SPMMs

* refactorings / cleanups

* small cleanups and test cases

* add SPA-to-SEVPA converters

* initial W-method implementations for SBAs & SPMMs

* share functionality and clean up

* make conformance tests work with non-minimal systems

* add serialization tests + cleanups

* update SPA example

* share funtionality of interfaces

* improve some nullability analysis

* make procedural W-method computation lazy

* make epsilon iterator reusable

* cleanups

* add/improve documentation

* refactor SPMM#getOutputAlphabet and add more docs

* add initial characterizing set implementation for OneSEVPAs

* add 1-SEVPA -> SPA transformer

* add CFMPS view for SBAs

* optimize computation of SEVPA separating words

* cleanup documentation

* update changelog/readme

* cleanups

* add tests/fixes to ProceduralInputAlphabet

* refactor SPMM constructor signature

1286 of 1286 new or added lines in 40 files covered. (100.0%)

15465 of 17590 relevant lines covered (87.92%)

1.62 hits per line