net.automatalib.automata.graphs

Class AbstractAutomatonGraph<S,I,T,SP,TP>

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractAutomaton<S,I,T>

net.automatalib.automata.graphs.AbstractAutomatonGraph<S,I,T,SP,TP>

All Implemented Interfaces:

Iterable<S>, Automaton<S,I,T>, InputAlphabetHolder<I>, FiniteAlphabetAutomaton<S,I,T>, SimpleAutomaton<S,I>, UniversalAutomaton<S,I,T,SP,TP>, Graph<S,TransitionEdge<I,T>>, IndefiniteGraph<S,TransitionEdge<I,T>>, UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>, UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>

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 Summary

Constructors

Constructor and Description
AbstractAutomatonGraph()

Method Summary

Methods

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> TransitionEdge.Property<I,TP>	getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this, TransitionEdge<I,T> edge)
TransitionEdge.Property<I,TP>	getEdgeProperty(TransitionEdge<I,T> edge)
static <S,I,T,SP,TP> SP	getNodeProperties(UniversalAutomaton<S,I,T,SP,TP> $this, S node)
SP	getNodeProperty(S node)
Collection<S>	getNodes()
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)
static <S,I,T> S	getTarget(Automaton<S,I,T> $this, TransitionEdge<I,T> edge)
S	getTarget(TransitionEdge<I,T> edge)
NodeIDs<S>	nodeIDs()
static <S,I,T> NodeIDs<S>	nodeIDs(Automaton<S,I,T> $this)

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractAutomaton

iterator, iterator, size, size, stateIDs, stateIDs

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.automata.concepts.InputAlphabetHolder

getInputAlphabet

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

AbstractAutomatonGraph

public AbstractAutomatonGraph()

Method Detail

createOutgoingEdges

public static <S,I,T> Collection<TransitionEdge<I,T>> createOutgoingEdges(Automaton<S,I,T> automaton,
                                                          Collection<? extends I> inputs,
                                                          S state)

getNodes

public static <S,I,T> Collection<S> getNodes(Automaton<S,I,T> $this)

nodeIDs

public static <S,I,T> NodeIDs<S> nodeIDs(Automaton<S,I,T> $this)

getOutgoingEdges

public static <S,I,T> Collection<TransitionEdge<I,T>> getOutgoingEdges(FiniteAlphabetAutomaton<S,I,T> $this,
                                                       S node)

getTarget

public static <S,I,T> S getTarget(Automaton<S,I,T> $this,
                  TransitionEdge<I,T> edge)

createStaticNodeMapping

public static <S,I,T,V> MutableMapping<S,V> createStaticNodeMapping(Automaton<S,I,T> $this)

createDynamicNodeMapping

public static <S,I,T,V> MutableMapping<S,V> createDynamicNodeMapping(Automaton<S,I,T> $this)

getNodeProperties

public static <S,I,T,SP,TP> SP getNodeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
                                 S node)

getEdgeProperties

public static <S,I,T,SP,TP> TransitionEdge.Property<I,TP> getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
                                                            TransitionEdge<I,T> edge)

getNodes

public Collection<S> getNodes()

Specified by:

getNodes in interface Graph<S,TransitionEdge<I,T>>

nodeIDs

public NodeIDs<S> nodeIDs()

Specified by:

nodeIDs in interface Graph<S,TransitionEdge<I,T>>

getOutgoingEdges

public Collection<TransitionEdge<I,T>> getOutgoingEdges(S node)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<S,TransitionEdge<I,T>>

getTarget

public S getTarget(TransitionEdge<I,T> edge)

Specified by:

getTarget in interface IndefiniteGraph<S,TransitionEdge<I,T>>

createStaticNodeMapping

public <V> MutableMapping<S,V> createStaticNodeMapping()

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<S,TransitionEdge<I,T>>

createDynamicNodeMapping

public <V> MutableMapping<S,V> createDynamicNodeMapping()

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<S,TransitionEdge<I,T>>

getNodeProperty

public SP getNodeProperty(S node)

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>

getEdgeProperty

public TransitionEdge.Property<I,TP> getEdgeProperty(TransitionEdge<I,T> edge)

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>