net.automatalib.automata.graphs

Class UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>>

java.lang.Object

net.automatalib.automata.graphs.AbstractAutomatonGraphView<S,A,TransitionEdge<I,T>>

net.automatalib.automata.graphs.AutomatonGraphView<S,I,T,A>

net.automatalib.automata.graphs.UniversalAutomatonGraphView<S,I,T,SP,TP,A>

All Implemented Interfaces:

Iterable<S>, 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

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.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Field Summary

Fields inherited from class net.automatalib.automata.graphs.AutomatonGraphView

inputs

Fields inherited from class net.automatalib.automata.graphs.AbstractAutomatonGraphView

automaton

Constructor Summary

Constructors

Constructor and Description
UniversalAutomatonGraphView(A automaton, Collection<? extends I> inputs)

Method Summary

Modifier and Type	Method and Description
static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP> & InputAlphabetHolder<I>> UniversalAutomatonGraphView<S,I,T,SP,TP,A>	create(A automaton)
static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> UniversalAutomatonGraphView<S,I,T,SP,TP,A>	create(A automaton, Collection<? extends I> inputs)
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.automata.graphs.AutomatonGraphView

createTransitionEdges, getOutgoingEdges, getTarget, getVisualizationHelper

Methods inherited from class net.automatalib.automata.graphs.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.graphs.Graph

asNormalGraph, getVisualizationHelper

Methods inherited from interface net.automatalib.graphs.SimpleGraph

getNodes, iterator, nodeIDs, nodesStream, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Constructor Detail

UniversalAutomatonGraphView

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

Method Detail

create

public static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> UniversalAutomatonGraphView<S,I,T,SP,TP,A> create(A automaton,
                                                                                                                        Collection<? extends I> inputs)

create

public static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP> & InputAlphabetHolder<I>> UniversalAutomatonGraphView<S,I,T,SP,TP,A> create(A automaton)

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

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

Parameters:

edge - the edge

Returns:

the property of the specified edge