Uses of Class
net.automatalib.ts.powerset.FastPowersetState
-
Packages that use FastPowersetState Package Description net.automatalib.ts.powerset -
-
Uses of FastPowersetState in net.automatalib.ts.powerset
Methods in net.automatalib.ts.powerset that return FastPowersetState Modifier and Type Method Description FastPowersetState<S>
FastPowersetDTS. getInitialState()
FastPowersetState<S>
FastPowersetDTS. getSuccessor(Set<T> transition)
FastPowersetState<S>
FastPowersetDTS. getSuccessor(FastPowersetState<S> state, I input)
Methods in net.automatalib.ts.powerset with parameters of type FastPowersetState Modifier and Type Method 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)
-