LearnLib / automatalib / 215

93%

push

travis-ci

cleanup PaigeTarjan minimization

* refactored the `PaigeTarjanInitializers#initDeterministic` method to expect an IntAbstraction, similar to the `initCompleteDeterministic` variants.
* removed the specialized `initDeterministic` version for binary classification.
* removed the non-IntAbstraction `PaigeTarjanExtractors#toDeterministic*` methods, since they no longer have a matching initializers pendant.
* cleaned up and improved related `AutomatonInitialPartitioning` and `CompleteStateSignature` (now `StateSignature`) classes.

* added `PaigeTarjanMinimization` class to add utility-methods for using the PaigeTarjan-based minimizations.
* added better documentation to improve usability.

99 of 99 new or added lines in 7 files covered. (100.0%)

10794 of 13396 relevant lines covered (80.58%)

1.46 hits per line