Package net.automatalib.ts.modal

Class ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>

java.lang.Object

net.automatalib.automaton.graph.AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>

net.automatalib.automaton.graph.AutomatonGraphView<S,I,T,A>

net.automatalib.automaton.graph.UniversalAutomatonGraphView<S,I,T,Void,TP,M>

net.automatalib.ts.modal.ModalTransitionSystem.MTSGraphView<S,I,T,TP,M>

All Implemented Interfaces:

Iterable<S>, FiniteRepresentation, Graph<S,TransitionEdge<I,T>>, IndefiniteGraph<S,TransitionEdge<I,T>>, IndefiniteSimpleGraph<S>, SimpleGraph<S>, UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,TP>>, UniversalIndefiniteGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,TP>>

Enclosing interface:

ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>

public static class ModalTransitionSystem.MTSGraphView<S,I,T,TP extends ModalEdgeProperty,M extends ModalTransitionSystem<S,I,T,TP>>
extends UniversalAutomatonGraphView<S,I,T,Void,TP,M>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graph.Graph

Graph.IntAbstraction<E>

Nested classes/interfaces inherited from interface net.automatalib.graph.UniversalGraph

UniversalGraph.IntAbstraction<E,NP,EP>

Field Summary

Fields inherited from class net.automatalib.automaton.graph.AutomatonGraphView

inputs

Fields inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView

automaton

Constructor Summary

Constructors

Constructor	Description
MTSGraphView(M mts, Collection<? extends I> inputs)

Method Summary

Modifier and Type	Method	Description
VisualizationHelper<S,TransitionEdge<I,T>>	getVisualizationHelper()	Returns the VisualizationHelper that contains information for displaying this graph.

Methods inherited from class net.automatalib.automaton.graph.UniversalAutomatonGraphView

getEdgeProperty, getNodeProperty

Methods inherited from class net.automatalib.automaton.graph.AutomatonGraphView

createTransitionEdges, getOutgoingEdges, getTarget

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, getOutgoingEdges, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween, getTarget

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.SimpleGraph

getNodes, iterator, nodeIDs, size

Constructor Detail

MTSGraphView

public MTSGraphView(M mts,
                    Collection<? extends I> inputs)

Method Detail

getVisualizationHelper

public VisualizationHelper<S,TransitionEdge<I,T>> getVisualizationHelper()

Description copied from interface: SimpleGraph

Returns the VisualizationHelper that contains information for displaying this graph.

Specified by:

getVisualizationHelper in interface Graph<S,I>

Specified by:

getVisualizationHelper in interface SimpleGraph<S>

Overrides:

getVisualizationHelper in class AutomatonGraphView<S,I,T,M extends ModalTransitionSystem<S,I,T,TP>>

Returns:

the visualization helper