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() |
iterator, iterator, size, size, stateIDs, stateIDscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetInputAlphabetgetStates, size, stateIDsgetStateProperty, getTransitionPropertygetSuccessor, getTransitions, powersetViewcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorspublic 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()
public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)
getOutgoingEdges in interface IndefiniteGraph<S,TransitionEdge<I,T>>public S getTarget(TransitionEdge<I,T> edge)
getTarget in interface IndefiniteGraph<S,TransitionEdge<I,T>>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)
getNodeProperty in interface UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>public TransitionEdge.Property<I,TP> getEdgeProperty(TransitionEdge<I,T> edge)
getEdgeProperty in interface UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>Copyright © 2013. All Rights Reserved.