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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidclear()Set<S>getInitialStates()Collection<I>getLocalInputs(S state)Collection<T>getTransitions(S state, I input)FastPowersetDTS<S,I,T>powersetView()voidremoveState(S state, @Nullable S replacement)voidsetInitial(S state, boolean initial)voidsetTransitions(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
-
-
-
-
Method Detail
-
getTransitions
public Collection<T> getTransitions(S state, I input)
-
clear
public void clear()
- Specified by:
clearin interfaceMutableAutomaton<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>- Overrides:
clearin classAbstractFastMutable<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:
removeStatein interfaceShrinkableAutomaton<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>- Overrides:
removeStatein classAbstractFastMutable<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
-
powersetView
public FastPowersetDTS<S,I,T> powersetView()
-
getLocalInputs
public Collection<I> getLocalInputs(S state)
-
-