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.