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

java.lang.Object
  de.upb.swt.epctools.simulator.explicit.Node_DS
      de.upb.swt.epctools.simulator.explicit.JoinConnector_DS
          de.upb.swt.epctools.simulator.explicit.OrJoinConnector_DS

 class OrJoinConnector_DS
extends JoinConnector_DS

Implements an OR-join connector of the EPC data structure.

Author:

Ekkart Kindler, kindler@upb.de

Field Summary

Fields inherited from class de.upb.swt.epctools.simulator.explicit.JoinConnector_DS

inputArcs, noMarkedInArcs, outputArc

Fields inherited from class de.upb.swt.epctools.simulator.explicit.Node_DS

epc, modelNode, nodeNumber

Constructor Summary

OrJoinConnector_DS(EPC_DS epc, Node node, int number)
Create a new OR-join connector.

Method Summary

(package private) void	addSuccessors(State source, TransitionSystem ts) Adds the successor states and the corresponding transitions for that node to the transition system.
(package private) boolean	enabled(State state) Checks whether the node is enabled in the given state.

Methods inherited from class de.upb.swt.epctools.simulator.explicit.JoinConnector_DS

addInputArc, addOutputArc

Methods inherited from class java.lang.Object

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

Constructor Detail

OrJoinConnector_DS

OrJoinConnector_DS(EPC_DS epc,
                   Node node,
                   int number)

Create a new OR-join connector.

Parameters:

epc - the EPC data structure to which this node belongs

node - the node of the EPC model that is represented

number - the number of that node

Method Detail

enabled

boolean enabled(State state)

Checks whether the node is enabled in the given state.

Specified by:

enabled in class Node_DS

Parameters:

state -

Returns:

true if the node is enabled in the state

addSuccessors

void addSuccessors(State source,
                   TransitionSystem ts)

Adds the successor states and the corresponding transitions for that node to the transition system. Note that this method must not be called with a state in which the node is not enabled.

Specified by:

addSuccessors in class Node_DS

Parameters:

source - state for which the successor states will be created

ts - transitionsystem to which the successor states are added