Package net.automatalib.automaton.base

Class AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>

java.lang.Object

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

All Implemented Interfaces:

Iterable<S>, SupportsGrowingAlphabet<I>, Automaton<S,I,T>, FiniteRepresentation, InputAlphabetHolder<I>, StateIDs<S>, StateLocalInput<S,I>, FiniteAlphabetAutomaton<S,I,T>, MutableAutomaton<S,I,T,SP,TP>, ShrinkableAutomaton<S,I,T,SP,TP>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, GraphViewable, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>

Direct Known Subclasses:

AbstractFastMutableDet, AbstractFastMutableNondet

public abstract class AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>
extends Object
implements ShrinkableAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, StateIDs<S>, SupportsGrowingAlphabet<I>, StateLocalInput<S,I>

Shared functionality for (non-) deterministic mutable automata.

Field Summary

Fields

Modifier and Type	Field	Description
protected Alphabet<I>	inputAlphabet

Constructor Summary

Constructors

Constructor	Description
AbstractFastMutable(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
void	addAlphabetSymbol(I symbol)
S	addState(@Nullable SP property)
void	clear()
<@Nullable V> MutableMapping<S,V>	createDynamicStateMapping()
protected abstract S	createState(@Nullable SP property)
Alphabet<I>	getInputAlphabet()
S	getState(int id)
int	getStateId(S state)
Collection<S>	getStates()
void	removeAllTransitions(S state)
void	removeState(S state, @Nullable S replacement)
StateIDs<S>	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.automaton.FiniteAlphabetAutomaton

getTransitions, graphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.automaton.MutableAutomaton

addInitialState, addInitialState, addState, addTransition, addTransition, addTransitions, copyTransition, createTransition, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitions

Methods inherited from interface net.automatalib.automaton.ShrinkableAutomaton

removeState

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

createStaticStateMapping, iterator, size

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

getInitialStates, getStates, getSuccessors, getSuccessors

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

getLocalInputs

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getSuccessors, getTransitions, powersetView

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Field Detail

inputAlphabet

protected final Alphabet<I> inputAlphabet

Constructor Detail

AbstractFastMutable

public AbstractFastMutable(Alphabet<I> inputAlphabet)

Method Detail

getStateId

public int getStateId(S state)

Specified by:

getStateId in interface StateIDs<S extends AbstractFastState<?>>

getState

public S getState(int id)

Specified by:

getState in interface StateIDs<S extends AbstractFastState<?>>

addState

public S addState(@Nullable SP property)

Specified by:

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

removeAllTransitions

public void removeAllTransitions(S state)

Specified by:

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

createState

protected abstract S createState(@Nullable SP property)

removeState

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

Specified by:

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

clear

public void clear()

Specified by:

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

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<S extends AbstractFastState<?>>

createDynamicStateMapping

public <@Nullable V> MutableMapping<S,V> createDynamicStateMapping()

Specified by:

createDynamicStateMapping in interface SimpleAutomaton<S extends AbstractFastState<?>,I>

Specified by:

createDynamicStateMapping in interface SimpleTS<S extends AbstractFastState<?>,I>

addAlphabetSymbol

public void addAlphabetSymbol(I symbol)

Specified by:

addAlphabetSymbol in interface SupportsGrowingAlphabet<S extends AbstractFastState<?>>

getStates

public Collection<S> getStates()

Specified by:

getStates in interface SimpleAutomaton<S extends AbstractFastState<?>,I>

stateIDs

public StateIDs<S> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<S extends AbstractFastState<?>,I>