net.automatalib.automata.base.fast

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

java.lang.Object

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

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

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

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

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>, 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>>, 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 AbstractShrinkableAutomaton<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
FastMutableNondet(Alphabet<I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
S	addState(SP property) Adds a state to the automaton.
void	clear() Removes all states and transitions.
<V> MutableMapping<S,V>	createDynamicNodeMapping()
<V> MutableMapping<S,V>	createDynamicStateMapping() Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
protected abstract S	createState(SP property)
<V> MutableMapping<S,V>	createStaticNodeMapping()
<V> MutableMapping<S,V>	createStaticStateMapping() Creates a MutableMapping allowing to associate arbitrary data with this transition system's states.
TransitionEdge.Property<I,TP>	getEdgeProperty(TransitionEdge<I,T> edge) Retrieves the property of a given edge.
Set<S>	getInitialStates() Retrieves the set of initial states of the transition system.
Alphabet<I>	getInputAlphabet()
S	getNode(int id)
int	getNodeId(S node)
SP	getNodeProperty(S node) Retrieves the property of a given node.
Collection<S>	getNodes() Retrieves an (unmodifiable) collection of the nodes in this graph.
Collection<TransitionEdge<I,T>>	getOutgoingEdges(S node) Retrieves the outgoing edges of a given node.
S	getState(int id)
int	getStateId(S state)
Collection<S>	getStates() Retrieves all states of the transition system.
S	getTarget(TransitionEdge<I,T> edge) Retrieves, for a given edge, its target node.
Collection<T>	getTransitions(S state, I input) Retrieves the transitions that can be triggered by the given input symbol.
NodeIDs<S>	nodeIDs()
void	removeAllTransitions(S state)
void	removeState(S state, S replacement) Removes a state from the automaton.
void	setInitial(S state, boolean initial)
void	setTransitions(S state, I input, Collection<? extends T> transitions)
StateIDs<S>	stateIDs()

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

removeState, removeState, unlinkState

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

addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition

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

iterator, iterator, size, size, stateIDs

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, powersetView

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

size

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

getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.graphs.Graph

size

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.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Field Detail

inputAlphabet

protected Alphabet<I> inputAlphabet

Constructor Detail

FastMutableNondet

public FastMutableNondet(Alphabet<I> inputAlphabet)

Method Detail

getStates

public Collection<S> getStates()

Description copied from interface: SimpleAutomaton

Retrieves all states of the transition system. Implementing classes should return an unmodifiable collection

Specified by:

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

Returns:

all states in the transition system

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()

Description copied from interface: SimpleTS

Retrieves the set of initial states of the transition system.

Specified by:

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

Returns:

the initial states.

getTransitions

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

Description copied from interface: TransitionSystem

Retrieves the transitions that can be triggered by the given input symbol.

Specified by:

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

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transitions, or null if no transitions are triggered by this input symbol.

clear

public void clear()

Description copied from interface: MutableAutomaton

Removes all states and transitions.

Specified by:

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

addState

public S addState(SP property)

Description copied from interface: MutableAutomaton

Adds a state to the automaton.

Specified by:

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

Returns:

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)

Description copied from interface: ShrinkableAutomaton

Removes a state from the automaton. All ingoing transitions to this state are redirected to the given replacement state. If a null replacement is given, then this method behaves like the above ShrinkableAutomaton.removeState(Object).

Specified by:

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

Parameters:

state - the state to remove

replacement - the replacement state, or null

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>

Overrides:

stateIDs in class AbstractAutomaton<S extends FastNondetState<S,T>,I,T>

createStaticStateMapping

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

Description copied from interface: SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping is however only guaranteed to work correctly if the transition system is not modified.

Specified by:

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

Overrides:

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

Returns:

the mutable mapping

createDynamicStateMapping

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

Description copied from interface: SimpleTS

Creates a MutableMapping allowing to associate arbitrary data with this transition system's states. The returned mapping maintains the association even when the transition system is modified.

Specified by:

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

Overrides:

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

Returns:

the mutable mapping

createStaticNodeMapping

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

Specified by:

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

createDynamicNodeMapping

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

Specified by:

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

getNodeId

public int getNodeId(S node)

Specified by:

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

getNode

public S getNode(int id)

Specified by:

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

getNodes

public Collection<S> getNodes()

Description copied from interface: Graph

Retrieves an (unmodifiable) collection of the nodes in this graph.

Specified by:

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

Returns:

the nodes in this graph

getOutgoingEdges

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

Description copied from interface: IndefiniteGraph

Retrieves the outgoing edges of a given node.

Specified by:

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

Parameters:

node - the node.

Returns:

a Collection of all outgoing edges, or null if the node has no outgoing edges.

getTarget

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

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

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

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

nodeIDs

public NodeIDs<S> nodeIDs()

Specified by:

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

getNodeProperty

public SP getNodeProperty(S node)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given node.

Specified by:

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

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

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

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given edge.

Specified by:

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

Parameters:

edge - the edge

Returns:

the property of the specified edge

createState

protected abstract S createState(SP property)