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

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

 class Transition
extends java.lang.Object

Implements a transition of the transition system.

Author:

Ekkart Kindler, kindler@upb.de

Field Summary

(package private) Node_DS	node The epc node corresponding to this transition.
(package private) State	source The source state of the transition.
(package private) State	target The target state of the transition.

Constructor Summary

Transition(State source, Node_DS node, State target)
Creates a new transition.

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

source

State source

The source state of the transition.

target

State target

The target state of the transition.

node

Node_DS node

The epc node corresponding to this transition.

Constructor Detail

Transition

Transition(State source,
           Node_DS node,
           State target)

Creates a new transition.

Parameters:

source - the source state

node - the firing EPC node

target - the target state