Class SimpleDeterministicAbstractions.FullIntAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>
- java.lang.Object
-
- net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.FullIntAbstraction<I,A>
-
- Type Parameters:
I
- input symbol typeA
- state abstraction type
- All Implemented Interfaces:
FiniteRepresentation
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.IntAbstraction
- Direct Known Subclasses:
DeterministicAbstractions.FullIntAbstraction
- Enclosing interface:
- SimpleDeterministicAbstractions
public static class SimpleDeterministicAbstractions.FullIntAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> extends Object implements SimpleDeterministicAutomaton.FullIntAbstraction
Base class implementing the default way of obtaining aSimpleDeterministicAbstractions.FullIntAbstraction
, i.e., building on top of aSimpleDeterministicAbstractions.StateIntAbstraction
and a mapping from integers to (concrete) input symbols.
-
-
Field Summary
Fields Modifier and Type Field Description protected int
numInputs
protected A
stateAbstraction
protected IntFunction<? extends I>
symMapping
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Constructor Summary
Constructors Constructor Description FullIntAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
Returns the number of entities required to represent this system.
-
-
-
Field Detail
-
stateAbstraction
protected final A extends SimpleDeterministicAutomaton.StateIntAbstraction<I> stateAbstraction
-
numInputs
protected final int numInputs
-
symMapping
protected final IntFunction<? extends I> symMapping
-
-
Constructor Detail
-
FullIntAbstraction
public FullIntAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
-
-
Method Detail
-
getSuccessor
public int getSuccessor(int state, int input)
Description copied from interface:SimpleDeterministicAutomaton.FullIntAbstraction
Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.- Specified by:
getSuccessor
in interfaceSimpleDeterministicAutomaton.FullIntAbstraction
- Parameters:
state
- the integer representing the source stateinput
- the integer representing the input symbol- Returns:
- the integer representing the target state, or
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
if there is no successor state.
-
numInputs
public int numInputs()
Description copied from interface:SimpleDeterministicAutomaton.FullIntAbstraction
Retrieves the number of input symbols. This determines the valid range of input symbols, which is[0, numInputs() - 1]
.- Specified by:
numInputs
in interfaceSimpleDeterministicAutomaton.FullIntAbstraction
- Returns:
- the number of input symbols
-
intToSym
protected final I intToSym(int input)
-
size
public int size()
Description copied from interface:FiniteRepresentation
Returns the number of entities required to represent this system.- Specified by:
size
in interfaceFiniteRepresentation
- Returns:
- the number of entities required to represent this system
-
getIntInitialState
public int getIntInitialState()
Description copied from interface:SimpleDeterministicAutomaton.IntAbstraction
Retrieves the initial state of the (abstracted) automaton as an integer. If the automaton has no initial state,SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
is returned.- Specified by:
getIntInitialState
in interfaceSimpleDeterministicAutomaton.IntAbstraction
- Returns:
- the integer representing the initial state, or
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
.
-
-