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>>
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
forEach, iterator, spliterator
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
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.