LearnLib / learnlib / 6310585053

95%

push

github

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

* initial import of SBAs and SPMMs

* cleanups / refactorings

* refactorings

* adjust to Automatalib refactorings

* add procedural W-method oracles

* make SBA/SPMM learner add non-continuable symbols lazily

* make counterexample analysis parameterizable

* add adapters for OML and DHC

* Only use DHC for testing

Since the adapter does not provide any functionality, skip redundant adapter class.

* adjust to AutomataLib refactorings

* add documentation

* add some assertions for convenience

* add SBA-based palindrome learning example

* cleanup (mostly docs)

* cleanups + some more tests

912 of 912 new or added lines in 31 files covered. (100.0%)

11574 of 12542 relevant lines covered (92.28%)

1.67 hits per line