LearnLib / automatalib / 215

Builds Branch Commit Type Ran Committer Via Coverage
215 develop cleanup PaigeTarjan minimization * refactored the `PaigeTarjanInitializers#initDeterministic` method to expect an IntAbstraction, similar to the `initCompleteDeterministic` variants. * removed the specialized `initDeterministic` version for binar... push mtf90 travis-ci pending completion   set done
214 develop fix bug in PaigeTarjanExtractors the pruned version did not traverse the automaton, resulting in incomplete models. push mtf90 travis-ci pending completion   set done
213 develop refactor ids of VisualizationProviders to public fields push mtf90 travis-ci pending completion   set done
212 develop add collectors for Words and Alphabets push mtf90 travis-ci pending completion   set done
211 develop dot: do not render unnecessary newlines push mtf90 travis-ci pending completion   set done
210 develop add product automata construction for Mealy Machines push mtf90 travis-ci pending completion   set done
209 develop fix/cleanup equals() method push mtf90 travis-ci pending completion   set done
208 develop fix corner case in PC DFADAG builder When inserting epsilon as a rejected word, every other word should be rejected as well. push mtf90 travis-ci pending completion   set done
207 develop tests, bugfixes and cleanups/refactorings push mtf90 travis-ci pending completion   set done
206 develop commons cleanups & improvements * removed unused ResizingIntArray * simplified BackedGeneralPriorityQueue constructor * added/improved tests for BackedGeneralPriorityQueue, CharRange, DefaultLinkedList push mtf90 travis-ci pending completion   set done
205 develop add tests for (Full)IntAbstractions push mtf90 travis-ci pending completion   set done
204 develop cleanups & improvements * added ADS and VPA examples * delegated some functionality to Guava methods * added tests (including bug fixes) * removed deprecated methods * removed StateIDDynamicMapping / replaced with ArrayMapping push mtf90 travis-ci pending completion   set done
203 develop util: fix PaigeTarjan error when minimizing partial automata push mtf90 travis-ci pending completion   set done
202 develop commons/util: add some javadoc push mtf90 travis-ci pending completion   set done
201 develop travis: also run site generation push mtf90 travis-ci pending completion   set done