net.automatalib.util.automata.asgraph

Class UniversalAutomatonAsGraph<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>>

java.lang.Object

net.automatalib.util.automata.asgraph.AutomatonAsGraph<S,I,T,A>

net.automatalib.util.automata.asgraph.UniversalAutomatonAsGraph<S,I,T,SP,TP,A>

All Implemented Interfaces:

Iterable<S>, 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>>

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>>

Field Summary

Fields inherited from class net.automatalib.util.automata.asgraph.AutomatonAsGraph

automaton, inputAlphabet

Constructor Summary

Constructors

Constructor and Description
UniversalAutomatonAsGraph(A automaton, Collection<? extends I> inputs)

Method Summary

Methods

Modifier and Type	Method and Description
TransitionEdge.Property<I,TP>	getEdgeProperty(TransitionEdge<I,T> edge)
SP	getNodeProperty(S node)

Methods inherited from class net.automatalib.util.automata.asgraph.AutomatonAsGraph

createDynamicNodeMapping, createStaticNodeMapping, getNodes, getOutgoingEdges, getTarget, iterator, nodeIDs, size

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.graphs.Graph

getNodes, nodeIDs, size

Methods inherited from interface java.lang.Iterable

iterator

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

createDynamicNodeMapping, createStaticNodeMapping, getOutgoingEdges, getTarget

Constructor Detail

UniversalAutomatonAsGraph

public UniversalAutomatonAsGraph(A automaton,
                         Collection<? extends I> inputs)

Method Detail

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>>