Package net.automatalib.automaton

Interface MutableDeterministic.IntAbstraction<T,SP,TP>

Type Parameters:

T - transition type

SP - state property type

TP - transition property type

All Superinterfaces:

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

All Known Subinterfaces:

MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, CompactDFA, CompactMealy, CompactMoore, CompactSST, MutableDeterministicAbstraction.FullIntAbstraction, MutableDeterministicAbstraction.StateIntAbstraction, UniversalCompactDet, UniversalCompactSimpleDet

Enclosing interface:

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

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

Base interface for integer abstractions of a MutableDeterministic.

Field Summary

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

INVALID_STATE

Method Summary

Modifier and Type	Method	Description
default int	addIntInitialState()
int	addIntInitialState(@Nullable SP property)
default int	addIntState()
int	addIntState(@Nullable SP property)
T	createTransition(int successor, TP property)
void	setInitialState(int state)
void	setStateProperty(int state, SP property)
void	setTransitionProperty(T transition, TP property)

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

getIntSuccessor

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

size

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

getIntInitialState

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

getStateProperty, getTransitionProperty

Method Detail

setStateProperty

void setStateProperty(int state,
                      SP property)

setTransitionProperty

void setTransitionProperty(T transition,
                           TP property)

setInitialState

void setInitialState(int state)

createTransition

T createTransition(int successor,
                   TP property)

addIntState

default int addIntState()

addIntState

int addIntState(@Nullable SP property)

addIntInitialState

default int addIntInitialState()

addIntInitialState

int addIntInitialState(@Nullable SP property)