search

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

Add more comments and make some small refactors and changes to PaigeTarjan folder #68

Closed jn1z closed 8 months ago

jn1z commented 8 months ago

Extract repeated methods in PaigeTarjanInitializers. (These could also be applied to a lesser extent in OneSEVPAMinimizer.) Add comments to PaigeTarjanInitializers, PaigeTarjan, and Block.

In PaigeTarjan: remove unnecessary set of b.ptr (which was set as a post-condition of split). Remove unnecessary increment of local variable.

mtf90 commented 8 months ago

Thanks for the PR. A reduction in code-copy is always appreciated.