public static interface SimpleDeterministicAutomaton.FullIntAbstraction extends SimpleDeterministicAutomaton.IntAbstraction
integer abstraction
that abstracts both states and input symbols to
integers. In addition to the modalities specified in SimpleDeterministicAutomaton.IntAbstraction
, this interface prescribes that input
symbols are abstracted to integers in the range [0, numInputs() - 1]
.Modifier and Type | Interface and Description |
---|---|
static class |
SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>>
Base class implementing the default way of obtaining a
SimpleDeterministicAutomaton.FullIntAbstraction , i.e., building on top of a
SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols. |
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
int |
getSuccessor(int state,
int input)
Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.
|
int |
numInputs()
Retrieves the number of input symbols.
|
getIntInitialState, size
int getSuccessor(int state, int input)
state
- the integer representing the source stateinput
- the integer representing the input symbolSimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
if there is no
successor state.int numInputs()
[0,
numInputs() - 1]
.Copyright © 2019. All rights reserved.