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