I
- input symbol typepublic static interface SimpleDeterministicAutomaton.StateIntAbstraction<I> extends SimpleDeterministicAutomaton.IntAbstraction
integer abstractions
of an automaton that operate on non-abstracted input
symbols (i.e., input symbols are of type I
).Modifier and Type | Interface and Description |
---|---|
static class |
SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>
Base class implementing the default way of obtaining a
SimpleDeterministicAutomaton.StateIntAbstraction . |
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
int |
getSuccessor(int state,
I input)
Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.
|
getIntInitialState, size
int getSuccessor(int state, I input)
state
- the integer representing the source stateinput
- the input symbolSimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
if there is no
successor state.Copyright © 2020. All rights reserved.