Skip to content

Commit 5963d91

Browse files
committed
update module descriptions
1 parent 3f5b750 commit 5963d91

11 files changed

Lines changed: 18 additions & 6 deletions

File tree

algorithms/active/adt/pom.xml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,10 @@ limitations under the License.
2929

3030
<artifactId>learnlib-adt</artifactId>
3131
<name>LearnLib :: Algorithms :: ADT</name>
32-
<description>The ADT Algorithm</description>
32+
<description>
33+
The ADT Algorithm. Uses adaptive distinguishing trees (a generalization of adaptive distinguishing sequences) to
34+
separate hypothesis states and focuses on minimizing the amount of resets during the learning process.
35+
</description>
3336

3437
<dependencies>
3538
<!-- LearnLib dependencies -->

algorithms/active/discrimination-tree-vpda/pom.xml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,10 @@ limitations under the License.
3030

3131
<artifactId>learnlib-discrimination-tree-vpda</artifactId>
3232
<name>LearnLib :: Algorithms :: Discrimination Tree [VPDA]</name>
33+
<description>
34+
A learning algorithm, which distinguishes hypothesis states using a discrimination tree (visibly push-down
35+
automata variant).
36+
</description>
3337

3438
<dependencies>
3539
<dependency>

algorithms/active/discrimination-tree/pom.xml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,7 @@ limitations under the License.
3030

3131
<artifactId>learnlib-discrimination-tree</artifactId>
3232
<name>LearnLib :: Algorithms :: Discrimination Tree</name>
33+
<description>A learning algorithm, which distinguishes hypothesis states using a discrimination tree.</description>
3334

3435
<dependencies>
3536
<dependency>

algorithms/active/nlstar/pom.xml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@ limitations under the License.
2626
</parent>
2727
<name>LearnLib :: Algorithms :: NL*</name>
2828
<artifactId>learnlib-nlstar</artifactId>
29+
<description>A variant of the L* algorithm for inferring non-deterministic hypothesis automata.</description>
2930

3031
<dependencies>
3132
<dependency>

algorithms/active/ttt-vpda/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ limitations under the License.
3030

3131
<artifactId>learnlib-ttt-vpda</artifactId>
3232
<name>LearnLib :: Algorithms :: TTT [VPDA]</name>
33-
<description>The TTT Algorithm</description>
33+
<description>The TTT Algorithm (visibly push-down automata variant)</description>
3434

3535
<dependencies>
3636
<!--

commons/util/pom.xml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -29,8 +29,8 @@ limitations under the License.
2929
</parent>
3030

3131
<artifactId>learnlib-util</artifactId>
32-
<name>LearnLib :: Commons :: Commons</name>
33-
<description>A collection of standard algorithms for handling counterexamples in automata learning</description>
32+
<name>LearnLib :: Commons :: Util</name>
33+
<description>A collection of utility methods for learning setups (oracle wrappers, etc.)</description>
3434

3535
<dependencies>
3636
<!--

drivers/mapper/pom.xml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -29,6 +29,7 @@ limitations under the License.
2929
<artifactId>learnlib-mapper</artifactId>
3030

3131
<name>LearnLib :: Drivers :: Mapper</name>
32+
<description>Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols</description>
3233

3334
<dependencies>
3435
<dependency>

drivers/simulator/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ limitations under the License.
3030

3131
<artifactId>learnlib-drivers-simulator</artifactId>
3232
<name>LearnLib :: Drivers :: Simulator</name>
33-
<description>Utilities Driver Generation Support</description>
33+
<description>Utilities for simulating SULs</description>
3434

3535
<dependencies>
3636
<!--

oracles/filters/cache/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ limitations under the License.
3030

3131
<artifactId>learnlib-cache</artifactId>
3232
<name>LearnLib :: Filters :: Cache</name>
33-
<description>Cache filter to avoid posing duplicate membership queries</description>
33+
<description>Caches to avoid posing duplicate membership queries</description>
3434

3535
<dependencies>
3636
<!--

oracles/filters/reuse/pom.xml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,7 @@ limitations under the License.
2727

2828
<artifactId>learnlib-reuse</artifactId>
2929
<name>LearnLib :: Filters :: Reuse</name>
30+
<description>Reuse Tree for (intelligently) caching membership queries</description>
3031

3132
<modelVersion>4.0.0</modelVersion>
3233

0 commit comments

Comments
 (0)