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