Module net.automatalib.api

Package net.automatalib.automaton.abstraction

Interface UniversalDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>

Type Parameters:

I - input symbol type

T - transition type

SP - state property type

TP - transition property type

All Superinterfaces:

DeterministicAbstractions.IntAbstraction<T>, DeterministicAbstractions.StateIntAbstraction<I,T>, FiniteRepresentation, SimpleDeterministicAbstractions.IntAbstraction, SimpleDeterministicAbstractions.StateIntAbstraction<I>, UniversalDeterministicAbstractions.IntAbstraction<T,SP,TP>

All Known Subinterfaces:

MutableDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, CompactDFA, CompactMealy, CompactMMLT, CompactMoore, CompactSST, CompactTransitionOutput, MutableDeterministicAbstractions.StateIntAbstractionImpl, ReducedMMLTSemantics, UniversalCompactDet, UniversalCompactDetAutomaton, UniversalCompactSimpleDet, UniversalDeterministicAbstractions.StateIntAbstractionImpl

Enclosing interface:

UniversalDeterministicAbstractions

public static interface UniversalDeterministicAbstractions.StateIntAbstraction<I,T,SP,TP>
extends UniversalDeterministicAbstractions.IntAbstraction<T,SP,TP>, DeterministicAbstractions.StateIntAbstraction<I,T>

Interface for state integer abstractions of a UniversalDeterministicAutomaton.

Field Summary

Fields inherited from interface net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

INVALID_STATE

Method Summary

Modifier and Type	Method	Description
default @Nullable TP	getTransitionProperty(int state, I input)

Methods inherited from interface net.automatalib.automaton.abstraction.DeterministicAbstractions.IntAbstraction

getIntSuccessor

Methods inherited from interface net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction

getSuccessor, getTransition

Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation

size

Methods inherited from interface net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

getIntInitialState

Methods inherited from interface net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.IntAbstraction

getStateProperty, getTransitionProperty

Method Details

getTransitionProperty

default @Nullable TP getTransitionProperty(int state,
 I input)