I
- input symbol typeT
- transition typepublic static interface DeterministicAutomaton.StateIntAbstraction<I,T> extends DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.StateIntAbstraction<I>
state integer abstractions
of a DeterministicAutomaton
.Modifier and Type | Interface and Description |
---|---|
static class |
DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>> |
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
default int |
getSuccessor(int state,
I input)
Retrieves the (abstracted) successor state for a given (abstracted) source state
and input symbol.
|
T |
getTransition(int state,
I input)
Retrieves the outgoing transition for an (abstracted) source state and
input symbol, or returns
null if the automaton has no transition for this
state and input. |
getIntSuccessor
getIntInitialState, size
T getTransition(int state, I input)
null
if the automaton has no transition for this
state and input.state
- the integer representing the source stateinput
- the input symbolnull
default int getSuccessor(int state, I input)
SimpleDeterministicAutomaton.StateIntAbstraction
getSuccessor
in interface SimpleDeterministicAutomaton.StateIntAbstraction<I>
state
- the integer representing the source stateinput
- the input symbolSimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
if there is no successor state.Copyright © 2015. All rights reserved.