public abstract class AbstractAutomatonGraph<S,I,T,SP,TP> extends AbstractAutomaton<S,I,T> implements FiniteAlphabetAutomaton<S,I,T>, UniversalAutomaton<S,I,T,SP,TP>, UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
Constructor and Description |
---|
AbstractAutomatonGraph() |
Modifier and Type | Method and Description |
---|---|
<V> MutableMapping<S,V> |
createDynamicNodeMapping() |
static <S,I,T,V> MutableMapping<S,V> |
createDynamicNodeMapping(Automaton<S,I,T> $this) |
static <S,I,T> Collection<TransitionEdge<I,T>> |
createOutgoingEdges(Automaton<S,I,T> automaton,
Collection<? extends I> inputs,
S state) |
<V> MutableMapping<S,V> |
createStaticNodeMapping() |
static <S,I,T,V> MutableMapping<S,V> |
createStaticNodeMapping(Automaton<S,I,T> $this) |
static <S,I,T,SP,TP> |
getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
TransitionEdge<I,T> edge) |
TransitionEdge.Property<I,TP> |
getEdgeProperty(TransitionEdge<I,T> edge)
Retrieves the property of a given edge.
|
static <S,I,T,SP,TP> |
getNodeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
S node) |
SP |
getNodeProperty(S node)
Retrieves the property of a given node.
|
Collection<S> |
getNodes()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
static <S,I,T> Collection<S> |
getNodes(Automaton<S,I,T> $this) |
static <S,I,T> Collection<TransitionEdge<I,T>> |
getOutgoingEdges(FiniteAlphabetAutomaton<S,I,T> $this,
S node) |
Collection<TransitionEdge<I,T>> |
getOutgoingEdges(S node)
Retrieves the outgoing edges of a given node.
|
static <S,I,T> S |
getTarget(Automaton<S,I,T> $this,
TransitionEdge<I,T> edge) |
S |
getTarget(TransitionEdge<I,T> edge)
Retrieves, for a given edge, its target node.
|
NodeIDs<S> |
nodeIDs() |
static <S,I,T> NodeIDs<S> |
nodeIDs(Automaton<S,I,T> $this) |
iterator, iterator, size, size, stateIDs, stateIDs
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getInputAlphabet
getStates, size, stateIDs
forEach, iterator, spliterator
getStateProperty, getTransitionProperty
getSuccessor, getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
public AbstractAutomatonGraph()
public static <S,I,T> Collection<TransitionEdge<I,T>> createOutgoingEdges(Automaton<S,I,T> automaton, Collection<? extends I> inputs, S state)
public static <S,I,T> Collection<S> getNodes(Automaton<S,I,T> $this)
public static <S,I,T> Collection<TransitionEdge<I,T>> getOutgoingEdges(FiniteAlphabetAutomaton<S,I,T> $this, S node)
public static <S,I,T> S getTarget(Automaton<S,I,T> $this, TransitionEdge<I,T> edge)
public static <S,I,T,V> MutableMapping<S,V> createStaticNodeMapping(Automaton<S,I,T> $this)
public static <S,I,T,V> MutableMapping<S,V> createDynamicNodeMapping(Automaton<S,I,T> $this)
public static <S,I,T,SP,TP> SP getNodeProperties(UniversalAutomaton<S,I,T,SP,TP> $this, S node)
public static <S,I,T,SP,TP> TransitionEdge.Property<I,TP> getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this, TransitionEdge<I,T> edge)
public Collection<S> getNodes()
Graph
public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)
IndefiniteGraph
getOutgoingEdges
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
node
- the node.Collection
of all outgoing edges, or null
if
the node has no outgoing edges.public S getTarget(TransitionEdge<I,T> edge)
IndefiniteGraph
getTarget
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
edge
- the edge.public <V> MutableMapping<S,V> createStaticNodeMapping()
createStaticNodeMapping
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
public <V> MutableMapping<S,V> createDynamicNodeMapping()
createDynamicNodeMapping
in interface IndefiniteGraph<S,TransitionEdge<I,T>>
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.