net.automatalib.automata.base.fast

Class FastMutableDet<S extends FastDetState<S,T>,I,T,SP,TP>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton<S,I,T>

net.automatalib.automata.abstractimpl.AbstractMutableDeterministic<S,I,T,SP,TP>

net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic<S,I,T,SP,TP>

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

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, InputAlphabetHolder<I>, StateIDs<S>, 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>, NodeIDs<S>, Graph<S,TransitionEdge<I,T>>, IndefiniteGraph<S,TransitionEdge<I,T>>, UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>, UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>, 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 FastMutableDet<S extends FastDetState<S,T>,I,T,SP,TP>
extends AbstractShrinkableDeterministic<S,I,T,SP,TP>
implements FiniteAlphabetAutomaton<S,I,T>, UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>, StateIDs<S>, NodeIDs<S>

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
FastMutableDet(Alphabet<I> inputAlphabet)

Method Summary

Methods

Modifier and Type	Method and Description
S	addState(SP property)
void	clear()
<V> MutableMapping<S,V>	createDynamicNodeMapping()
<V> MutableMapping<S,V>	createDynamicStateMapping()
protected abstract S	createState(SP property)
<V> MutableMapping<S,V>	createStaticNodeMapping()
<V> MutableMapping<S,V>	createStaticStateMapping()
TransitionEdge.Property<I,TP>	getEdgeProperty(TransitionEdge<I,T> edge)
S	getInitialState()
Alphabet<I>	getInputAlphabet()
S	getNode(int id)
int	getNodeId(S node)
SP	getNodeProperty(S node)
Collection<S>	getNodes()
Collection<TransitionEdge<I,T>>	getOutgoingEdges(S node)
S	getState(int id)
int	getStateId(S state)
Collection<S>	getStates()
S	getTarget(TransitionEdge<I,T> edge)
T	getTransition(S state, I input)
NodeIDs<S>	nodeIDs()
void	removeAllTransitions(S state)
void	removeState(S state, S replacement)
void	setInitialState(S state)
void	setTransition(S state, I input, T transition)
StateIDs<S>	stateIDs()

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractShrinkableDeterministic

removeState

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractMutableDeterministic

addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractDeterministicAutomaton

iterator, size

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

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.TransitionSystem

getSuccessor, getTransitions, powersetView

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

size

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

getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.graphs.Graph

size

Methods inherited from interface net.automatalib.automata.MutableDeterministic

setTransition

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

getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.automata.MutableAutomaton

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

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Field Detail

inputAlphabet

protected final Alphabet<I> inputAlphabet

Constructor Detail

FastMutableDet

public FastMutableDet(Alphabet<I> inputAlphabet)

Method Detail

getStates

public Collection<S> getStates()

Specified by:

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

getState

public S getState(int id)

Specified by:

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

getStateId

public int getStateId(S state)

Specified by:

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

setInitialState

public void setInitialState(S state)

Specified by:

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

setTransition

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

Specified by:

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

getInitialState

public S getInitialState()

Specified by:

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

getTransition

public T getTransition(S state,
              I input)

Specified by:

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

clear

public void clear()

Specified by:

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

addState

public S addState(SP property)

Specified by:

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

removeState

public void removeState(S state,
               S replacement)

Specified by:

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

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

getNodeId

public int getNodeId(S node)

Specified by:

getNodeId in interface NodeIDs<S extends FastDetState<S,T>>

getNode

public S getNode(int id)

Specified by:

getNode in interface NodeIDs<S extends FastDetState<S,T>>

getNodes

public Collection<S> getNodes()

Specified by:

getNodes in interface Graph<S extends FastDetState<S,T>,TransitionEdge<I,T>>

getOutgoingEdges

public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<S extends FastDetState<S,T>,TransitionEdge<I,T>>

getTarget

public S getTarget(TransitionEdge<I,T> edge)

Specified by:

getTarget in interface IndefiniteGraph<S extends FastDetState<S,T>,TransitionEdge<I,T>>

removeAllTransitions

public void removeAllTransitions(S state)

Specified by:

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

getNodeProperty

public SP getNodeProperty(S node)

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<S extends FastDetState<S,T>,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>

getEdgeProperty

public TransitionEdge.Property<I,TP> getEdgeProperty(TransitionEdge<I,T> edge)

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<S extends FastDetState<S,T>,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>

stateIDs

public StateIDs<S> stateIDs()

Specified by:

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

Overrides:

stateIDs in class AbstractDeterministicAutomaton<S extends FastDetState<S,T>,I,T>

nodeIDs

public NodeIDs<S> nodeIDs()

Specified by:

nodeIDs in interface Graph<S extends FastDetState<S,T>,TransitionEdge<I,T>>

createStaticStateMapping

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

Specified by:

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

Overrides:

createStaticStateMapping in class AbstractTS<S extends FastDetState<S,T>,I,T>

createDynamicStateMapping

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

Specified by:

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

Overrides:

createDynamicStateMapping in class AbstractTS<S extends FastDetState<S,T>,I,T>

createStaticNodeMapping

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

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<S extends FastDetState<S,T>,TransitionEdge<I,T>>

createDynamicNodeMapping

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

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<S extends FastDetState<S,T>,TransitionEdge<I,T>>

createState

protected abstract S createState(SP property)