LearnLib / automatalib / 3248884239

93%

push

github

<a href="https://github.com/LearnLib/automatalib/commit/<a class=hub.com/LearnLib/automatalib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/automatalib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/automatalib/commit/<a class="double-link" href="https://git"><a class=hub.com/LearnLib/automatalib/commit/e1e198b4da752171d097eaf4805eb21295b8cb5c">e1e198b4d<a href="https://github.com/LearnLib/automatalib/commit/e1e198b4da752171d097eaf4805eb21295b8cb5c">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/LearnLib/automatalib/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/LearnLib/automatalib/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/LearnLib/automatalib/commit/e1e198b4da752171d097eaf4805eb21295b8cb5c&quot;&gt;e1e198b4d&lt;/a&gt;&lt;a href=&quot;https://github.com/LearnLib/automatalib/commit/e1e198b4da752171d097eaf4805eb21295b8cb5c&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/LearnLib/automatalib/commit/e1e198b4da752171d097eaf4805eb21295b8cb5c&amp;quot;&amp;gt;&amp;amp;quot;&amp;amp;gt;feat: Adaptive Mealy Tree Builder (#56)

* feat: Adaptive PTT

* feat: unit tests

* feat: conflicts()

* feat: LimitException

* chore: cleanup

* feat: cleanup

* feat: return conflicted subtree in conflicts method

* feat: make net.automatalib.incremental.mealy.tree.Node public

* feat: cleanup

* add AdaptiveMealyBuilder interface and adjust incremental class hierarchy

* add intermediate abstraction layer to separate incremental and adaptive behavior

* feat: implement new interfcae

* Revert &amp;amp;amp;quot;feat: make net.automatalib.incremental.mealy.tree.Node public&lt;/a>&amp;quot;

This reverts commit &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/LearnLib/automatalib/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/LearnLib/automatalib/commit/<a class="double-link" href="https://github.com/LearnLib/automatalib/commit/2ba1ae01194cea2707ad2dcacc8fabd4e7f003fe">2ba1ae011</a>&quot;&gt;2ba1ae011&lt;/a&gt;&quot;&gt;2ba1ae011&lt;/a&gt;&lt;a href=&quot;https://github.com/LearnLib/automatalib/commit/e1e198b4da752171d097eaf4805eb21295b8cb5c&quot;&gt;.

* feat: extend interface

* cleanup and fix validations

* refactor adaptive impl

* mi</a>nor cleanups + renamings

Co-authored-by: Markus Frohme <markus.frohme@udo.edu>

96 of 96 new or added lines in 8 files covered. (100.0%)

14069 of 16354 relevant lines covered (86.03%)

1.58 hits per line