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

Methods

Modifier and Type	Method and Description
<V> MutableMapping<S,V>	createDynamicNodeMapping()
<V> MutableMapping<S,V>	createStaticNodeMapping()
Collection<S>	getNodes()
Collection<TransitionEdge<I,T>>	getOutgoingEdges(S node)
S	getTarget(TransitionEdge<I,T> edge)
Iterator<S>	iterator()
NodeIDs<S>	nodeIDs()
int	size()

Methods inherited from class java.lang.Object

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

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

Specified by:

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

getOutgoingEdges

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

Specified by:

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

getTarget

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

Specified by:

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

size

public int size()

Specified by:

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

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