net.automatalib.automata

Interface UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>

Type Parameters:

T - transition type

SP - state property type

TP - transition property type

All Superinterfaces:

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

All Known Subinterfaces:

MutableDeterministic.FullIntAbstraction<T,SP,TP>

All Known Implementing Classes:

MutableDeterministic.FullIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

Enclosing interface:

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

public static interface UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
extends UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, DeterministicAutomaton.FullIntAbstraction<T>

Interface for full integer abstractions of a UniversalDeterministicAutomaton.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Method Summary

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

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

getSuccessor, getTransition

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

getIntSuccessor

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

numInputs

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

getIntInitialState, size

Method Detail

getTransitionProperty

default TP getTransitionProperty(int state,
                                 int input)