Package net.automatalib.automaton.graph
Class AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>>
- java.lang.Object
-
- net.automatalib.automaton.graph.AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>
-
- net.automatalib.automaton.graph.AutomatonGraphView<S,I,T,A>
-
- All Implemented Interfaces:
Iterable<S>
,FiniteRepresentation
,Graph<S,TransitionEdge<I,T>>
,IndefiniteGraph<S,TransitionEdge<I,T>>
,IndefiniteSimpleGraph<S>
,SimpleGraph<S>
- Direct Known Subclasses:
UniversalAutomatonGraphView
public class AutomatonGraphView<S,I,T,A extends Automaton<S,I,T>> extends AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface net.automatalib.graph.Graph
Graph.IntAbstraction<E>
-
-
Field Summary
Fields Modifier and Type Field Description protected Collection<? extends I>
inputs
-
Fields inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView
automaton
-
-
Constructor Summary
Constructors Constructor Description AutomatonGraphView(A automaton, Collection<? extends I> inputs)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description 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, for a given node, the (finite) collection of all outgoing edges.S
getTarget(TransitionEdge<I,T> edge)
Retrieves, for a given edge, its target node.VisualizationHelper<S,TransitionEdge<I,T>>
getVisualizationHelper()
Returns theVisualizationHelper
that contains information for displaying this graph.-
Methods inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView
createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, size
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.graph.Graph
getAdjacentNodes, getOutgoingEdgesIterator
-
Methods inherited from interface net.automatalib.graph.IndefiniteGraph
getAdjacentNodesIterator, getEdgesBetween
-
Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph
isConnected
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Field Detail
-
inputs
protected final Collection<? extends I> inputs
-
-
Constructor Detail
-
AutomatonGraphView
public AutomatonGraphView(A automaton, Collection<? extends I> inputs)
-
-
Method Detail
-
getOutgoingEdges
public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)
Description copied from interface:Graph
Retrieves, for a given node, the (finite) collection of all outgoing edges.- Parameters:
node
- the node- Returns:
- a collection containing the outgoing edges
-
createTransitionEdges
public static <S,I,T> Collection<TransitionEdge<I,T>> createTransitionEdges(Automaton<S,I,T> automaton, Collection<? extends I> inputs, S state)
-
getTarget
public S getTarget(TransitionEdge<I,T> edge)
Description copied from interface:IndefiniteGraph
Retrieves, for a given edge, its target node.- Parameters:
edge
- the edge.- Returns:
- the target node of the given edge.
-
getVisualizationHelper
public VisualizationHelper<S,TransitionEdge<I,T>> getVisualizationHelper()
Description copied from interface:SimpleGraph
Returns theVisualizationHelper
that contains information for displaying this graph.- Returns:
- the visualization helper
-
-