de.upb.swt.epctools.simulator.explicit
Class Arc_DS

java.lang.Object
  de.upb.swt.epctools.simulator.explicit.Arc_DS

 class Arc_DS
extends java.lang.Object

Implements an arc of the EPC data structure.

Author:

Ekkart Kindler, kindler@upb.de

Field Summary

(package private) int	arcNumber The unique number of the arc.
(package private) Arc	modelArc The model arc (arc) to which this arc corresponds.
(package private) Node_DS	source The source node of the arc.
(package private) Node_DS	target The target node of the arc.

Constructor Summary

Arc_DS(Node_DS source, Node_DS target, int number, Arc modelArc)
Creates a new arc in the data structure for an EPC.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

modelArc

Arc modelArc

The model arc (arc) to which this arc corresponds.

arcNumber

int arcNumber

The unique number of the arc. This is also the position at which the arc occurs in the EPC's data structure array and the number of the corresponding arc in the bitset representing a state.

source

Node_DS source

The source node of the arc.

target

Node_DS target

The target node of the arc.

Constructor Detail

Arc_DS

Arc_DS(Node_DS source,
       Node_DS target,
       int number,
       Arc modelArc)

Creates a new arc in the data structure for an EPC.

Parameters:

source -

target -

number -

modelArc -