Package net.automatalib.automaton.graph

Class UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,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,SP,TP,A>

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>,SP,TransitionEdge.Property<I,TP>>, UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>

Direct Known Subclasses:

FiniteStateAcceptor.FSAGraphView, MealyMachine.MealyGraphView, ModalTransitionSystem.MTSGraphView, MooreMachine.MooreGraphView, SubsequentialTransducer.SSTGraphView

public class UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>>
extends AutomatonGraphView<S,I,T,A>
implements UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>

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
UniversalAutomatonGraphView(A automaton, Collection<? extends I> inputs)

Method Summary

Modifier and Type	Method	Description
TransitionEdge.Property<I,TP>	getEdgeProperty(TransitionEdge<I,T> edge)	Retrieves the property of a given edge.
SP	getNodeProperty(S node)	Retrieves the property of a given node.

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

createTransitionEdges, getOutgoingEdges, getTarget, getVisualizationHelper

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

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

UniversalAutomatonGraphView

public UniversalAutomatonGraphView(A automaton,
                                   Collection<? extends I> inputs)

Method Detail

getNodeProperty

public SP getNodeProperty(S node)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given node.

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<S,I,T,SP>

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

public TransitionEdge.Property<I,TP> getEdgeProperty(TransitionEdge<I,T> edge)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given edge.

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<S,I,T,SP>

Parameters:

edge - the edge

Returns:

the property of the specified edge