Package net.automatalib.automaton

Interface MutableDeterministic.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>, FiniteRepresentation, MutableDeterministic.IntAbstraction<T,SP,TP>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

All Known Implementing Classes:

MutableDeterministicAbstraction.FullIntAbstraction

Enclosing interface:

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

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

Interface for full 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
void	setTransition(int state, int input, int successor, TP property)
void	setTransition(int state, int input, @Nullable T transition)

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

getSuccessor, getTransition

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.MutableDeterministic.IntAbstraction

addIntInitialState, addIntInitialState, addIntState, addIntState, createTransition, setInitialState, setStateProperty, setTransitionProperty

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

numInputs

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

getIntInitialState

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

getTransitionProperty

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

getStateProperty, getTransitionProperty

Method Detail

setTransition

void setTransition(int state,
                   int input,
                   @Nullable T transition)

setTransition

void setTransition(int state,
                   int input,
                   int successor,
                   TP property)