net.automatalib.util.automata.asgraph

Class AutomatonAsGraph<S,I,T,A extends Automaton<S,I,T>>

java.lang.Object

net.automatalib.util.automata.asgraph.AutomatonAsGraph<S,I,T,A>

All Implemented Interfaces:

Iterable<S>, Graph<S,TransitionEdge<I,T>>, IndefiniteGraph<S,TransitionEdge<I,T>>

Direct Known Subclasses:

UniversalAutomatonAsGraph

public class AutomatonAsGraph<S,I,T,A extends Automaton<S,I,T>>
extends Object
implements Graph<S,TransitionEdge<I,T>>

Field Summary

Fields

Modifier and Type	Field and Description
protected A	automaton
protected Collection<? extends I>	inputAlphabet

Constructor Summary

Constructors

Constructor and Description
AutomatonAsGraph(A automaton, Collection<? extends I> inputAlphabet)

Method Summary

Modifier and Type	Method and Description
<V> MutableMapping<S,V>	createDynamicNodeMapping()
<V> MutableMapping<S,V>	createStaticNodeMapping()
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	getTarget(TransitionEdge<I,T> edge) Retrieves, for a given edge, its target node.
Iterator<S>	iterator()
NodeIDs<S>	nodeIDs()
int	size() Retrieves the number of nodes of this graph.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

automaton

protected final A extends Automaton<S,I,T> automaton

inputAlphabet

protected final Collection<? extends I> inputAlphabet

Constructor Detail

AutomatonAsGraph

public AutomatonAsGraph(A automaton,
                        Collection<? extends I> inputAlphabet)

Method Detail

iterator

public Iterator<S> iterator()

Specified by:

iterator in interface Iterable<S>

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,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,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,TransitionEdge<I,T>>

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

size

public int size()

Description copied from interface: Graph

Retrieves the number of nodes of this graph.

Specified by:

size in interface Graph<S,TransitionEdge<I,T>>

Returns:

the number of nodes of this graph.

createStaticNodeMapping

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

Specified by:

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

createDynamicNodeMapping

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

Specified by:

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

nodeIDs

public NodeIDs<S> nodeIDs()

Specified by:

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