net.automatalib.automata

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

All Superinterfaces:

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

All Known Implementing Classes:

MutableDeterministic.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,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
void	setTransition(int state, I input, int successor, TP property)
void	setTransition(int state, I input, T transition)

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

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

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

getTransitionProperty

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

getStateProperty, getTransitionProperty

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

getSuccessor, getTransition

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

getIntSuccessor

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

getIntInitialState, size

Method Detail

setTransition

void setTransition(int state,
                   I input,
                   T transition)

setTransition

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