net.automatalib.automata

Interface UniversalDeterministicAutomaton<S,I,T,SP,TP>

Type Parameters:

S - state class

I - input symbol class

T - transition class

SP - state property class

TP - transition property class

All Superinterfaces:

Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, Iterable<S>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

All Known Subinterfaces:

DFA<S,I>, MealyMachine<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDeterministic<S,I,T,SP,TP>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, ShrinkableDeterministic<S,I,T,SP,TP>

public interface UniversalDeterministicAutomaton<S,I,T,SP,TP>
extends DeterministicAutomaton<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalAutomaton<S,I,T,SP,TP>

A DeterministicAutomaton with state and transition properties.

Author:

Malte Isberner

See Also:

UniversalAutomaton

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> Interface for full integer abstractions of a UniversalDeterministicAutomaton.
static interface	UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP> Base interface for integer abstractions of a UniversalDeterministicAutomaton.
static interface	UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> Interface for state integer abstractions of a UniversalDeterministicAutomaton.

Method Summary

Modifier and Type	Method and Description
default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>	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 UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>	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 UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>	stateIntAbstraction() Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, getSuccessors

Method Detail

fullIntAbstraction

default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> fullIntAbstraction(Alphabet<I> alphabet)

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a 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).

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<S,I,T>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<S,I>

Parameters:

alphabet - the alphabet inducing the abstraction

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

fullIntAbstraction

default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> fullIntAbstraction(int numInputs,
                                                                                       IntFunction<? extends I> symMapping)

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the given number of (abstract) inputs and the inputs mapping.

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<S,I,T>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<S,I>

Parameters:

numInputs - the number of inputs represented in the full abstraction

symMapping - the mapping from integers in the range [0, numInputs - 1] to input symbols.

Returns:

a SimpleDeterministicAutomaton.FullIntAbstraction

stateIntAbstraction

default UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP> stateIntAbstraction()

Description copied from interface: SimpleDeterministicAutomaton

Retrieves a SimpleDeterministicAutomaton.StateIntAbstraction of this automaton.

Specified by:

stateIntAbstraction in interface DeterministicAutomaton<S,I,T>

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<S,I>

Returns:

a SimpleDeterministicAutomaton.StateIntAbstraction