Package net.automatalib.automaton.base

Class AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>

java.lang.Object

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

net.automatalib.automaton.base.AbstractFastMutableNondet<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:

FastNFA, FastProbMealy

public abstract class AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
extends AbstractFastMutable<S,I,T,SP,TP>

Field Summary

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

inputAlphabet

Constructor Summary

Constructors

Constructor	Description
AbstractFastMutableNondet(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method	Description
void	clear()
Set<S>	getInitialStates()
Collection<I>	getLocalInputs(S state)
Collection<T>	getTransitions(S state, I input)
FastPowersetDTS<S,I,T>	powersetView()
void	removeState(S state, @Nullable S replacement)
void	setInitial(S state, boolean initial)
void	setTransitions(S state, I input, Collection<? extends T> transitions)

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.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, setStateProperty, setTransitionProperty

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

getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getSuccessors

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

Constructor Detail

AbstractFastMutableNondet

public AbstractFastMutableNondet(Alphabet<I> inputAlphabet)

Method Detail

getInitialStates

public Set<S> getInitialStates()

getTransitions

public Collection<T> getTransitions(S state,
                                    I input)

clear

public void clear()

Specified by:

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

Overrides:

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

setInitial

public void setInitial(S state,
                       boolean initial)

setTransitions

public void setTransitions(S state,
                           I input,
                           Collection<? extends T> transitions)

removeState

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

Specified by:

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

Overrides:

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

powersetView

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

getLocalInputs

public Collection<I> getLocalInputs(S state)