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 int getIntSuccessor(T transition)
DeterministicAutomaton.IntAbstraction
getIntSuccessor
in interface DeterministicAutomaton.IntAbstraction<T>
transition
- the transition objectpublic 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
Copyright © 2015. All rights reserved.