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
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.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
Copyright © 2020. All rights reserved.