Module net.automatalib.core

Package net.automatalib.graph.impl

Class CompactPMPG<L,AP>

java.lang.Object

net.automatalib.graph.base.AbstractCompactGraph<E,NP,EP>

net.automatalib.graph.base.AbstractCompactUniversalGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

net.automatalib.graph.impl.CompactPMPG<L,AP>

All Implemented Interfaces:

Iterable<Integer>, FiniteRepresentation, EdgeLabels<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,L>, FinalNode<Integer>, InitialNode<Integer>, KripkeInterpretation<Integer,AP>, MutableEdgeLabels<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,L>, MutableKripkeInterpretation<Integer,AP>, NodeIDs<Integer>, FiniteKripkeStructure<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP>, FiniteLabeledGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,L>, Graph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>>, Graph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>>, IndefiniteGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>>, IndefiniteSimpleGraph<Integer>, MutableGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>, MutableGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>, MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>, ProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>, SimpleGraph<Integer>, SimpleGraph.IntAbstraction, UniversalGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>, UniversalGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>, UniversalIndefiniteGraph<Integer,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

public class CompactPMPG<L,AP>
extends AbstractCompactUniversalGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>
implements MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>

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

MutableGraph.IntAbstraction<E,NP,EP>

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

UniversalGraph.IntAbstraction<E,NP,EP>

Constructor Summary

Constructors

Constructor	Description
CompactPMPG(L defaultLabel)

Method Summary

Modifier and Type	Method	Description
protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>	createEdge(int source, int target, MutableProceduralModalEdgeProperty property)
L	getEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge)	Retrieves the label for an edge.
@Nullable Integer	getFinalNode()	Retrieves the final node, or null if this graph does not have a final node.
@Nullable Integer	getInitialNode()	Retrieves the initial node, or null if this graph does not have an initial node.
Set<AP>	getNodeProperty(int node)	Int-abstracted version of UniversalIndefiniteGraph.getNodeProperty(Object).
void	setEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge, L label)
void	setFinalNode(@Nullable Integer finalNode)
void	setInitialNode(@Nullable Integer initialNode)
void	setNodeProperty(int node, Set<AP> property)	Int-abstracted version of MutableGraph.setNodeProperty(Object, Object).

Methods inherited from class net.automatalib.graph.base.AbstractCompactUniversalGraph

getEdgeProperty, setEdgeProperty

Methods inherited from class net.automatalib.graph.base.AbstractCompactGraph

addIntNode, addNode, connect, connect, getIntTarget, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getOutgoingEdges, getTarget, nodeIDs, setNodeProperty, 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, getOutgoingEdges, getOutgoingEdgesIterator

Methods inherited from interface net.automatalib.graph.Graph.IntAbstraction

getEdgesBetween, getIntTarget, getOutgoingEdges, getOutgoingEdgesIterator, isConnected

Methods inherited from interface net.automatalib.graph.IndefiniteGraph

getAdjacentNodesIterator, getEdgesBetween, getTarget

Methods inherited from interface net.automatalib.graph.IndefiniteSimpleGraph

isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.graph.MutableGraph

addNode, connect, setEdgeProperty, setNodeProperty

Methods inherited from interface net.automatalib.graph.MutableGraph.IntAbstraction

addIntNode, addIntNode, connect

Methods inherited from interface net.automatalib.graph.MutableProceduralModalProcessGraph

addNode, setAtomicPropositions

Methods inherited from interface net.automatalib.graph.concept.NodeIDs

getNode, getNodeId

Methods inherited from interface net.automatalib.graph.ProceduralModalProcessGraph

getAtomicPropositions, getVisualizationHelper

Methods inherited from interface net.automatalib.graph.SimpleGraph

createDynamicNodeMapping, createStaticNodeMapping, getNodes, iterator, nodeIDs, size

Methods inherited from interface net.automatalib.graph.UniversalIndefiniteGraph

getEdgeProperty, getNodeProperty

Constructor Detail

CompactPMPG

public CompactPMPG(L defaultLabel)

Method Detail

setInitialNode

public void setInitialNode(@Nullable Integer initialNode)

Specified by:

setInitialNode in interface MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>

setFinalNode

public void setFinalNode(@Nullable Integer finalNode)

Specified by:

setFinalNode in interface MutableProceduralModalProcessGraph<Integer,L,CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,AP,MutableProceduralModalEdgeProperty>

getEdgeLabel

public L getEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge)

Description copied from interface: EdgeLabels

Retrieves the label for an edge.

Specified by:

getEdgeLabel in interface EdgeLabels<L,AP>

Parameters:

edge - the edge

Returns:

the label for the given edge

setEdgeLabel

public void setEdgeLabel(CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> edge,
                         L label)

Specified by:

setEdgeLabel in interface MutableEdgeLabels<L,AP>

getFinalNode

public @Nullable Integer getFinalNode()

Description copied from interface: FinalNode

Retrieves the final node, or null if this graph does not have a final node.

Specified by:

getFinalNode in interface FinalNode<L>

Returns:

the final node.

getInitialNode

public @Nullable Integer getInitialNode()

Description copied from interface: InitialNode

Retrieves the initial node, or null if this graph does not have an initial node.

Specified by:

getInitialNode in interface InitialNode<L>

Returns:

the initial node.

setNodeProperty

public void setNodeProperty(int node,
                            Set<AP> property)

Description copied from interface: MutableGraph.IntAbstraction

Int-abstracted version of MutableGraph.setNodeProperty(Object, Object).

Specified by:

setNodeProperty in interface MutableGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

Parameters:

node - the (int-abstracted) id of the node

property - the property of the node

createEdge

protected CompactPMPGEdge<L,MutableProceduralModalEdgeProperty> createEdge(int source,
                                                                                 int target,
                                                                                 MutableProceduralModalEdgeProperty property)

Specified by:

createEdge in class AbstractCompactGraph<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

getNodeProperty

public Set<AP> getNodeProperty(int node)

Description copied from interface: UniversalGraph.IntAbstraction

Int-abstracted version of UniversalIndefiniteGraph.getNodeProperty(Object).

Specified by:

getNodeProperty in interface UniversalGraph.IntAbstraction<CompactPMPGEdge<L,MutableProceduralModalEdgeProperty>,Set<AP>,MutableProceduralModalEdgeProperty>

Parameters:

node - the (int-abstracted) node identifier

Returns:

the property of the specified node