net.automatalib.automata.base.fast

Class FastMutableNondet<S extends FastNondetState<S,T>,I,T,SP,TP>

java.lang.Object

net.automatalib.automata.base.fast.FastMutableNondet<S,I,T,SP,TP>

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, InputAlphabetHolder<I>, StateIDs<S>, 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 FastMutableNondet<S extends FastNondetState<S,T>,I,T,SP,TP>
extends Object
implements ShrinkableAutomaton<S,I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>, StateIDs<S>

Field Summary

Fields

Modifier and Type	Field and Description
protected Alphabet<I>	inputAlphabet

Constructor Summary

Constructors

Constructor and Description
FastMutableNondet(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
S	addState(SP property)
void	clear()
<V> MutableMapping<S,V>	createDynamicStateMapping()
protected abstract S	createState(SP property)
<V> MutableMapping<S,V>	createStaticStateMapping()
Set<S>	getInitialStates()
Alphabet<I>	getInputAlphabet()
S	getState(int id)
int	getStateId(S state)
Collection<S>	getStates()
Collection<T>	getTransitions(S state, I input)
void	removeAllTransitions(S state)
void	removeState(S state, S replacement)
void	setInitial(S state, boolean initial)
void	setTransitions(S state, I input, Collection<? extends T> transitions)
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.automata.ShrinkableAutomaton

removeState, unlinkState

Methods inherited from interface net.automatalib.automata.MutableAutomaton

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

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

iterator, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getSuccessors, powersetView

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

getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Field Detail

inputAlphabet

protected Alphabet<I> inputAlphabet

Constructor Detail

FastMutableNondet

public FastMutableNondet(Alphabet<I> inputAlphabet)

Method Detail

getStates

public Collection<S> getStates()

Specified by:

getStates in interface SimpleAutomaton<S extends FastNondetState<S,T>,I>

getState

public S getState(int id)

Specified by:

getState in interface StateIDs<S extends FastNondetState<S,T>>

getStateId

public int getStateId(S state)

Specified by:

getStateId in interface StateIDs<S extends FastNondetState<S,T>>

getInitialStates

public Set<S> getInitialStates()

Specified by:

getInitialStates in interface SimpleTS<S extends FastNondetState<S,T>,I>

getTransitions

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

Specified by:

getTransitions in interface TransitionSystem<S extends FastNondetState<S,T>,I,T>

clear

public void clear()

Specified by:

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

addState

public S addState(SP property)

Specified by:

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

setInitial

public void setInitial(S state,
                       boolean initial)

Specified by:

setInitial in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>

removeState

public void removeState(S state,
                        S replacement)

Specified by:

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

removeAllTransitions

public void removeAllTransitions(S state)

Specified by:

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

setTransitions

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

Specified by:

setTransitions in interface MutableAutomaton<S extends FastNondetState<S,T>,I,T,SP,TP>

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

stateIDs

public StateIDs<S> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<S extends FastNondetState<S,T>,I>

createStaticStateMapping

public <V> MutableMapping<S,V> createStaticStateMapping()

Specified by:

createStaticStateMapping in interface SimpleAutomaton<S extends FastNondetState<S,T>,I>

Specified by:

createStaticStateMapping in interface SimpleTS<S extends FastNondetState<S,T>,I>

createDynamicStateMapping

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

Specified by:

createDynamicStateMapping in interface SimpleTS<S extends FastNondetState<S,T>,I>

createState

protected abstract S createState(SP property)