public class UniversalAutomatonAsGraph<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> extends AutomatonAsGraph<S,I,T,A> implements UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
automaton, inputAlphabet
Constructor and Description |
---|
UniversalAutomatonAsGraph(A automaton,
Collection<? extends I> inputs) |
Modifier and Type | Method and 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.
|
createDynamicNodeMapping, createStaticNodeMapping, getNodes, getOutgoingEdges, getTarget, iterator, nodeIDs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
asNormalGraph, getGraphDOTHelper
getNodes, iterator, nodeIDs, nodesStream, size
forEach, spliterator
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, getOutgoingEdges, getTarget, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
public UniversalAutomatonAsGraph(A automaton, Collection<? extends I> inputs)
public SP getNodeProperty(S node)
UniversalIndefiniteGraph
getNodeProperty
in interface UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
node
- the nodepublic TransitionEdge.Property<I,TP> getEdgeProperty(TransitionEdge<I,T> edge)
UniversalIndefiniteGraph
getEdgeProperty
in interface UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
edge
- the edgeCopyright © 2015. All rights reserved.