public class AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>> extends AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
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) |
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.
|
VisualizationHelper<S,TransitionEdge<I,T>> |
getVisualizationHelper() |
createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
asNormalGraph
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
nodesStream
adjacentTargets, isConnected
forEach, spliterator
protected final Collection<? extends I> inputs
public AutomatonGraphView(A automaton, Collection<? extends I> inputs)
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<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 static <S,I,T> Collection<TransitionEdge<I,T>> createTransitionEdges(Automaton<S,I,T> automaton, Collection<? extends I> inputs, S state)
public S getTarget(TransitionEdge<I,T> edge)
IndefiniteGraph
edge
- the edge.public VisualizationHelper<S,TransitionEdge<I,T>> getVisualizationHelper()
Copyright © 2020. All rights reserved.