Package net.automatalib.brics

Class AbstractBricsAutomaton.GraphView

java.lang.Object

net.automatalib.automaton.graph.AbstractAutomatonGraphView<State,AbstractBricsAutomaton,Transition>

net.automatalib.brics.AbstractBricsAutomaton.GraphView

All Implemented Interfaces:

Iterable<State>, FiniteRepresentation, Graph<State,Transition>, IndefiniteGraph<State,Transition>, IndefiniteSimpleGraph<State>, SimpleGraph<State>, UniversalGraph<State,Transition,Boolean,BricsTransitionProperty>, UniversalIndefiniteGraph<State,Transition,Boolean,BricsTransitionProperty>

Enclosing class:

AbstractBricsAutomaton

public class AbstractBricsAutomaton.GraphView
extends AbstractAutomatonGraphView<State,AbstractBricsAutomaton,Transition>
implements UniversalGraph<State,Transition,Boolean,BricsTransitionProperty>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graph.Graph

Graph.IntAbstraction<E>

Nested classes/interfaces inherited from interface net.automatalib.graph.UniversalGraph

UniversalGraph.IntAbstraction<E,NP,EP>

Field Summary

Fields inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView

automaton

Constructor Summary

Constructors

Constructor	Description
GraphView()

Method Summary

Modifier and Type	Method	Description
BricsTransitionProperty	getEdgeProperty(Transition edge)	Retrieves the property of a given edge.
Boolean	getNodeProperty(State node)	Retrieves the property of a given node.
Collection<Transition>	getOutgoingEdges(State node)	Retrieves, for a given node, the (finite) collection of all outgoing edges.
State	getTarget(Transition edge)	Retrieves, for a given edge, its target node.
VisualizationHelper<State,Transition>	getVisualizationHelper()	Returns the VisualizationHelper that contains information for displaying this graph.

Methods inherited from class net.automatalib.automaton.graph.AbstractAutomatonGraphView

createDynamicNodeMapping, createStaticNodeMapping, getNodes, 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.graph.Graph

getAdjacentNodes, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.SimpleGraph

getNodes, iterator, nodeIDs, size

Constructor Detail

GraphView

public GraphView()

Method Detail

getOutgoingEdges

public Collection<Transition> getOutgoingEdges(State node)

Description copied from interface: Graph

Retrieves, for a given node, the (finite) collection of all outgoing edges.

Specified by:

getOutgoingEdges in interface Graph<State,Transition>

Parameters:

node - the node

Returns:

a collection containing the outgoing edges

getTarget

public State getTarget(Transition edge)

Description copied from interface: IndefiniteGraph

Retrieves, for a given edge, its target node.

Specified by:

getTarget in interface IndefiniteGraph<State,Transition>

Parameters:

edge - the edge.

Returns:

the target node of the given edge.

getVisualizationHelper

public VisualizationHelper<State,Transition> getVisualizationHelper()

Description copied from interface: SimpleGraph

Returns the VisualizationHelper that contains information for displaying this graph.

Specified by:

getVisualizationHelper in interface Graph<State,Transition>

Specified by:

getVisualizationHelper in interface SimpleGraph<State>

Returns:

the visualization helper

getNodeProperty

public Boolean getNodeProperty(State node)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given node.

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<State,Transition,Boolean,BricsTransitionProperty>

Parameters:

node - the node

Returns:

the property of the specified node

getEdgeProperty

public BricsTransitionProperty getEdgeProperty(Transition edge)

Description copied from interface: UniversalIndefiniteGraph

Retrieves the property of a given edge.

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<State,Transition,Boolean,BricsTransitionProperty>

Parameters:

edge - the edge

Returns:

the property of the specified edge