org.ginsim.core.graph.dynamicgraph

Class DynamicEdge

java.lang.Object

org.ginsim.core.graph.Edge<DynamicNode>

org.ginsim.core.graph.dynamicgraph.DynamicEdge

All Implemented Interfaces:

ToolTipsable

public class DynamicEdge
extends Edge<DynamicNode>

Edges in a state transition graph.

Author:

Aurelien Naldi

Field Summary

Fields

Modifier and Type	Field and Description
ChangeType	changeType

Fields inherited from class org.ginsim.core.graph.Edge

source, target

Constructor Summary

Constructors

Constructor and Description
DynamicEdge(DynamicGraph g, DynamicNode source, DynamicNode target)

Method Summary

Modifier and Type	Method and Description
int	getFirstChangeIndex() get the coordinate of the first change between the two states.

Methods inherited from class org.ginsim.core.graph.Edge

getSource, getTarget, toString, toToolTip

Methods inherited from class java.lang.Object

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

Field Detail

changeType

public final ChangeType changeType

Constructor Detail

DynamicEdge

public DynamicEdge(DynamicGraph g,
                   DynamicNode source,
                   DynamicNode target)

Method Detail

getFirstChangeIndex

public int getFirstChangeIndex()

get the coordinate of the first change between the two states.

Returns: