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>>
inputs
automaton
Constructor and Description |
---|
UniversalAutomatonGraphView(A automaton,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP> & InputAlphabetHolder<I>> |
create(A automaton) |
static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> |
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.
|
createTransitionEdges, getGraphDOTHelper, getOutgoingEdges, getTarget
createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getGraphDOTHelper, getNodes, iterator, nodeIDs, size
forEach, spliterator
createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget
public UniversalAutomatonGraphView(A automaton, Collection<? extends I> inputs)
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)
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)
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.