public class AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>> extends AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>
Modifier and Type | Field and Description |
---|---|
protected Collection<? extends I> |
inputs |
automaton
Constructor and Description |
---|
AutomatonGraphView(A automaton,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,A extends Automaton<S,I,T> & InputAlphabetHolder<I>> |
create(A automaton) |
static <S,I,T,A extends Automaton<S,I,T>> |
create(A automaton,
Collection<? extends I> inputs) |
static <S,I,T> Collection<TransitionEdge<I,T>> |
createTransitionEdges(Automaton<S,I,T> automaton,
Collection<? extends I> inputs,
S state) |
GraphDOTHelper<S,? super TransitionEdge<I,T>> |
getGraphDOTHelper() |
Collection<? extends 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.
|
createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEach, spliterator
protected final Collection<? extends I> inputs
public AutomatonGraphView(A automaton, Collection<? extends I> inputs)
public static <S,I,T> Collection<TransitionEdge<I,T>> createTransitionEdges(Automaton<S,I,T> automaton, Collection<? extends I> inputs, S state)
public static <S,I,T,A extends Automaton<S,I,T>> AutomatonGraphView<S,I,T,A> create(A automaton, Collection<? extends I> inputs)
public static <S,I,T,A extends Automaton<S,I,T> & InputAlphabetHolder<I>> AutomatonGraphView<S,I,T,A> create(A automaton)
public Collection<? extends TransitionEdge<I,T>> getOutgoingEdges(S node)
IndefiniteGraph
node
- the node.Collection
of all outgoing edges, or null
if
the node has no outgoing edges.public S getTarget(TransitionEdge<I,T> edge)
IndefiniteGraph
edge
- the edge.public GraphDOTHelper<S,? super TransitionEdge<I,T>> getGraphDOTHelper()
Copyright © 2015. All rights reserved.