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