public static interface SimpleDeterministicAutomaton.IntAbstraction
[0, size() - 1]
. A similar abstraction may be imposed on the
input symbols, this is however not prescribed by this interface (see SimpleDeterministicAutomaton.StateIntAbstraction
and SimpleDeterministicAutomaton.FullIntAbstraction
).Modifier and Type | Interface and Description |
---|---|
static class |
SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>
Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by
mapping states to integers and vice versa using the
StateIDs mapping obtained via SimpleAutomaton.stateIDs() . |
Modifier and Type | Field and Description |
---|---|
static int |
INVALID_STATE
Representative for an invalid state.
|
Modifier and Type | Method and Description |
---|---|
int |
getIntInitialState()
Retrieves the initial state of the (abstracted) automaton as an integer.
|
int |
size()
Retrieves the number of states of the (abstracted) automaton.
|
static final int INVALID_STATE
null
in their non-abstracted version. However, for determining whether a state is valid or not, code should
never rely on the corresponding integer being equal to this value, since any integer outside of the range
[0, size() - 1]
is invalid, in particular all negative integers.int size()
int getIntInitialState()
INVALID_STATE
is returned.INVALID_STATE
.Copyright © 2019. All rights reserved.