net.automatalib.automata

Interface DeterministicAutomaton.IntAbstraction<T>

Type Parameters:

T - transition type

All Superinterfaces:

SimpleDeterministicAutomaton.IntAbstraction

All Known Subinterfaces:

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>

All Known Implementing Classes:

DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction, DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction, MutableDeterministic.FullIntAbstraction.DefaultAbstraction, MutableDeterministic.StateIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

DeterministicAutomaton<S,I,T>

public static interface DeterministicAutomaton.IntAbstraction<T>
extends SimpleDeterministicAutomaton.IntAbstraction

Base interface for integer abstractions of a DeterministicAutomaton.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>

Field Summary

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

INVALID_STATE

Method Summary

Modifier and Type	Method and Description
int	getIntSuccessor(T transition) Retrieves the (abstracted) successor of a transition object.

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

getIntInitialState, size

Method Detail

getIntSuccessor

int getIntSuccessor(T transition)

Retrieves the (abstracted) successor of a transition object.

Parameters:

transition - the transition object

Returns:

the integer representing the successor of the given transition