S
- state class.I
- input symbol class.public interface SimpleDeterministicAutomaton<S,I> extends SimpleAutomaton<S,I>, SimpleDTS<S,I>
Modifier and Type | Interface and Description |
---|---|
static interface |
SimpleDeterministicAutomaton.FullIntAbstraction
Interface for an
integer abstraction that abstracts both states and input symbols
to integers. |
static interface |
SimpleDeterministicAutomaton.IntAbstraction
Basic interface for integer abstractions of automata.
|
static interface |
SimpleDeterministicAutomaton.StateIntAbstraction<I>
Interface for
integer abstractions of an automaton that operate on
non-abstracted input symbols (i.e., input symbols are of type I ). |
Modifier and Type | Method and Description |
---|---|
default SimpleDeterministicAutomaton.FullIntAbstraction |
fullIntAbstraction(Alphabet<I> alphabet)
Retrieves a
SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given
alphabet as the abstraction for the input symbols. |
default SimpleDeterministicAutomaton.FullIntAbstraction |
fullIntAbstraction(int numInputs,
IntFunction<? extends I> symMapping)
Retrieves a
SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of
(abstract) inputs and the inputs mapping. |
default SimpleDeterministicAutomaton.StateIntAbstraction<I> |
stateIntAbstraction()
Retrieves a
SimpleDeterministicAutomaton.StateIntAbstraction of this automaton. |
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessor, getSuccessors, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
default SimpleDeterministicAutomaton.StateIntAbstraction<I> stateIntAbstraction()
SimpleDeterministicAutomaton.StateIntAbstraction
of this automaton.default SimpleDeterministicAutomaton.FullIntAbstraction fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)
SimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the given number of
(abstract) inputs and the inputs mapping.numInputs
- the number of inputs represented in the full abstractionsymMapping
- the mapping from integers in the range [0, numInputs - 1]
to
input symbols.SimpleDeterministicAutomaton.FullIntAbstraction
default SimpleDeterministicAutomaton.FullIntAbstraction fullIntAbstraction(Alphabet<I> alphabet)
SimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the mapping induced by the given
alphabet as the abstraction for the input symbols.
This method is provided for convenience. It is equivalent to calling
fullIntAbstraction(alphabet.size(), alphabet)
.
alphabet
- the alphabet inducing the abstractionSimpleDeterministicAutomaton.FullIntAbstraction
Copyright © 2015. All rights reserved.