| Package | Description |
|---|---|
| de.learnlib.filter.reuse | |
| de.learnlib.filter.reuse.tree |
| Modifier and Type | Method and Description |
|---|---|
ReuseTree<S,I,O> |
ReuseOracle.getReuseTree()
Returns the
ReuseTree used by this instance. |
| Modifier and Type | Method and Description |
|---|---|
ReuseTree<S,I,O> |
ReuseTree.ReuseTreeBuilder.build() |
Copyright © 2018. All rights reserved.