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
All Methods Instance Methods Concrete Methods 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 theVisualizationHelper
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
-
-
-
-
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 interfaceGraph<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 interfaceIndefiniteGraph<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 theVisualizationHelper
that contains information for displaying this graph.- Specified by:
getVisualizationHelper
in interfaceGraph<State,Transition>
- Specified by:
getVisualizationHelper
in interfaceSimpleGraph<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 interfaceUniversalIndefiniteGraph<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 interfaceUniversalIndefiniteGraph<State,Transition,Boolean,BricsTransitionProperty>
- Parameters:
edge
- the edge- Returns:
- the property of the specified edge
-
-