Package net.automatalib.automaton.base

Class AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>

java.lang.Object

net.automatalib.automaton.base.AbstractFastMutable<S,I,T,SP,TP>

net.automatalib.automaton.base.AbstractFastMutableDet<S,I,T,SP,TP>

All Implemented Interfaces:

Iterable<S>, SupportsGrowingAlphabet<I>, Automaton<S,I,T>, FiniteRepresentation, InputAlphabetHolder<I>, StateIDs<S>, StateLocalInput<S,I>, DeterministicAutomaton<S,I,T>, FiniteAlphabetAutomaton<S,I,T>, MutableAutomaton<S,I,T,SP,TP>, MutableDeterministic<S,I,T,SP,TP>, ShrinkableAutomaton<S,I,T,SP,TP>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, GraphViewable, DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,SP,TP>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

FastDFA, FastMealy, FastMoore

public abstract class AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>
extends AbstractFastMutable<S,I,T,SP,TP>
implements ShrinkableDeterministic<S,I,T,SP,TP>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic

MutableDeterministic.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, MutableDeterministic.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, MutableDeterministic.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>

Field Summary

Fields inherited from class net.automatalib.automaton.base.AbstractFastMutable

inputAlphabet

Constructor Summary

Constructors

Constructor	Description
AbstractFastMutableDet(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
void	clear()
@Nullable S	getInitialState()
Collection<I>	getLocalInputs(S state)
@Nullable T	getTransition(S state, I input)
DeterministicPowersetView<S,I,T>	powersetView()
void	removeState(S state, @Nullable S replacement)
void	setInitialState(@Nullable S state)
void	setTransition(S state, I input, @Nullable T transition)

Methods inherited from class net.automatalib.automaton.base.AbstractFastMutable

addAlphabetSymbol, addState, createDynamicStateMapping, createState, getInputAlphabet, getState, getStateId, getStates, removeAllTransitions, stateIDs

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransitions, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty

Methods inherited from interface net.automatalib.automaton.MutableDeterministic

addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions, stateIntAbstraction

Methods inherited from interface net.automatalib.automaton.ShrinkableAutomaton

removeState

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Constructor Detail

AbstractFastMutableDet

public AbstractFastMutableDet(Alphabet<I> inputAlphabet)

Method Detail

setTransition

public void setTransition(S state,
                          I input,
                          @Nullable T transition)

Specified by:

setTransition in interface MutableDeterministic<S extends AbstractFastState<T>,I,T,SP,TP>

getInitialState

public @Nullable S getInitialState()

Specified by:

getInitialState in interface SimpleDTS<S extends AbstractFastState<T>,I>

setInitialState

public void setInitialState(@Nullable S state)

Specified by:

setInitialState in interface MutableDeterministic<S extends AbstractFastState<T>,I,T,SP,TP>

getTransition

public @Nullable T getTransition(S state,
                                 I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<S extends AbstractFastState<T>,I,T>

removeState

public void removeState(S state,
                        @Nullable S replacement)

Specified by:

removeState in interface ShrinkableAutomaton<S extends AbstractFastState<T>,I,T,SP,TP>

Overrides:

removeState in class AbstractFastMutable<S extends AbstractFastState<T>,I,T,SP,TP>

clear

public void clear()

Specified by:

clear in interface MutableAutomaton<S extends AbstractFastState<T>,I,T,SP,TP>

Overrides:

clear in class AbstractFastMutable<S extends AbstractFastState<T>,I,T,SP,TP>

powersetView

public DeterministicPowersetView<S,I,T> powersetView()

Specified by:

powersetView in interface TransitionSystem<S extends AbstractFastState<T>,I,T>

getLocalInputs

public Collection<I> getLocalInputs(S state)

Specified by:

getLocalInputs in interface StateLocalInput<S extends AbstractFastState<T>,I>