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.