public static class DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>> extends SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A> implements DeterministicAutomaton.FullIntAbstraction<T>
DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A extends DeterministicAutomaton.StateIntAbstraction<I,T>>
numInputs, stateAbstraction, symMapping
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A stateAbstraction,
int numInputs,
IntFunction<? extends I> symMapping) |
Modifier and Type | Method and Description |
---|---|
int |
getIntSuccessor(T transition)
Retrieves the (abstracted) successor of a transition object.
|
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. |
getIntInitialState, getSuccessor, intToSym, numInputs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getSuccessor
numInputs
getIntInitialState, size
public DefaultAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
public T getTransition(int state, int input)
DeterministicAutomaton.FullIntAbstraction
null
if the automaton has no transition for this state and input.getTransition
in interface DeterministicAutomaton.FullIntAbstraction<T>
state
- the integer representing the source stateinput
- the integer representing the input symbolnull
public int getIntSuccessor(T transition)
DeterministicAutomaton.IntAbstraction
getIntSuccessor
in interface DeterministicAutomaton.IntAbstraction<T>
transition
- the transition objectCopyright © 2020. All rights reserved.