LearnLib / learnlib / 4958271589

95%

push

github

Re-integrate AAAR (#91)

* initial aaar commit

not everything is working yet

* switch to a single AbstractionTree

* aaar: enable integration tests again

* cleanup AAAR code

in preparation for re-integration.

* some more cleanups/refactorings

* adjustments to AutomataLib and cleanups

* Finalizing work on AAAR re-integration

* split between ExplicitAAARLearner (the original way) and GenericAAARLearner (a simplified version)
* provide various means to access information of abstract and concrete hypotheses
* add integration tests

* cleanup

* add documentation

* cleanups

* fix checkstyle

* fix expected dot outputs

392 of 392 new or added lines in 20 files covered. (100.0%)

10728 of 11687 relevant lines covered (91.79%)

1.65 hits per line