S
- state typeI
- input symbol typeA
- automaton typepublic static class SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> extends SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A> implements SimpleDeterministicAutomaton.StateIntAbstraction<I>
SimpleDeterministicAutomaton.StateIntAbstraction
.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction
SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>
automaton, stateIds
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A automaton) |
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, intToState, size, stateToInt
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIntInitialState, size
public DefaultAbstraction(A automaton)
public 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 © 2018. All rights reserved.