I
- input symbol typeA
- state abstraction typepublic static class SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> extends Object implements SimpleDeterministicAutomaton.FullIntAbstraction
SimpleDeterministicAutomaton.FullIntAbstraction
, i.e., building on top of a
SimpleDeterministicAutomaton.StateIntAbstraction
and a mapping from integers to (concrete) input symbols.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>
Modifier and Type | Field and Description |
---|---|
protected int |
numInputs |
protected A |
stateAbstraction |
protected IntFunction<? extends I> |
symMapping |
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A stateAbstraction,
int numInputs,
IntFunction<? extends I> symMapping) |
Modifier and Type | Method and Description |
---|---|
int |
getIntInitialState()
Retrieves the initial state of the (abstracted) automaton as an integer.
|
int |
getSuccessor(int state,
int input)
Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
|
protected I |
intToSym(int input) |
int |
numInputs()
Retrieves the number of input symbols.
|
int |
size()
Retrieves the number of states of the (abstracted) automaton.
|
protected final A extends SimpleDeterministicAutomaton.StateIntAbstraction<I> stateAbstraction
protected final int numInputs
protected final IntFunction<? extends I> symMapping
public DefaultAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
public 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.public int numInputs()
SimpleDeterministicAutomaton.FullIntAbstraction
[0,
numInputs() - 1]
.numInputs
in interface SimpleDeterministicAutomaton.FullIntAbstraction
protected final I intToSym(int input)
public int size()
SimpleDeterministicAutomaton.IntAbstraction
size
in interface SimpleDeterministicAutomaton.IntAbstraction
public int getIntInitialState()
SimpleDeterministicAutomaton.IntAbstraction
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
is returned.getIntInitialState
in interface SimpleDeterministicAutomaton.IntAbstraction
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
.Copyright © 2020. All rights reserved.