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 © 2016. All rights reserved.