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 © 2015. All Rights Reserved.