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<T> transition) |
Modifier and Type | Method and Description |
---|---|
Collection<S> |
FastPowersetDTS.getOriginalStates(FastPowersetState<S> state) |
FastPowersetState<S> |
FastPowersetDTS.getSuccessor(FastPowersetState<S> state,
I input) |
Set<T> |
FastPowersetDTS.getTransition(FastPowersetState<S> state,
I input) |
Copyright © 2020. All rights reserved.