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

java.lang.Object
  de.upb.swt.epctools.simulator.explicit.Node_DS
      de.upb.swt.epctools.simulator.explicit.SplitConnector_DS
          de.upb.swt.epctools.simulator.explicit.AndSplitConnector_DS

 class AndSplitConnector_DS
extends SplitConnector_DS

Implements an AND-split connector of the EPC data structure.

Author:

Ekkart Kindler, kindler@upb.de

Field Summary

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

inputArc, outputArcs

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

epc, modelNode, nodeNumber

Constructor Summary

AndSplitConnector_DS(EPC_DS epc, Node node, int number)
Create a new AND-split 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.SplitConnector_DS

addInputArc, addOutputArc

Methods inherited from class java.lang.Object

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

Constructor Detail

AndSplitConnector_DS

AndSplitConnector_DS(EPC_DS epc,
                     Node node,
                     int number)

Create a new AND-split 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