| Package | Description |
|---|---|
| de.learnlib.filter.cache.dfa |
| Modifier and Type | Method and Description |
|---|---|
DFACacheOracle.DFACacheOracleState<I> |
DFACacheOracle.suspend() |
| Modifier and Type | Method and Description |
|---|---|
void |
DFACacheOracle.resume(DFACacheOracle.DFACacheOracleState<I> state) |
Copyright © 2020. All rights reserved.