Package | Description |
---|---|
de.learnlib.filters.reuse | |
de.learnlib.filters.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 © 2015. All rights reserved.