| Package | Description |
|---|---|
| net.automatalib.ts.powerset |
| Modifier and Type | Method and Description |
|---|---|
FastPowersetState<S> |
FastPowersetDTS.getInitialState() |
FastPowersetState<S> |
FastPowersetDTS.getSuccessor(Collection<T> transition) |
FastPowersetState<S> |
FastPowersetDTS.getSuccessor(FastPowersetState<S> state,
I input) |
| Modifier and Type | Method and Description |
|---|---|
FastPowersetState<S> |
FastPowersetDTS.getSuccessor(FastPowersetState<S> state,
I input) |
Collection<T> |
FastPowersetDTS.getTransition(FastPowersetState<S> state,
I input) |
Copyright © 2013. All Rights Reserved.