de.upb.swt.epctools.simulator.symbolic
Class SimEventItem

java.lang.Object
  de.upb.swt.epctools.model.Node
      de.upb.swt.epctools.simulator.symbolic.SimNode
          de.upb.swt.epctools.simulator.symbolic.SimItem
              de.upb.swt.epctools.simulator.symbolic.SimEventItem

All Implemented Interfaces:

ModelListener

public class SimEventItem
extends SimItem

This class represents an EPC event node

Field Summary

Fields inherited from class de.upb.swt.epctools.simulator.symbolic.SimNode

m_contact_formula, m_tr_formula

Fields inherited from class de.upb.swt.epctools.model.Node

m_description, m_name, part, STATE_FALSE, STATE_TRUE, STATE_UNKNOWN, TYPE_AND, TYPE_EVENT, TYPE_FUNCTION, TYPE_NONE, TYPE_OBJECT, TYPE_OR, TYPE_RANGE, TYPE_ROLE, TYPE_XOR

Fields inherited from interface de.upb.swt.epctools.model.tools.ModelListener

MSG_ARC_ADDED, MSG_ARC_RECONNECTED, MSG_ARC_REMOVED, MSG_BEND_POINT_CHANGE, MSG_CHANGED_ALGORITHM, MSG_CONSTRAINT_CHANGED, MSG_DESCRIPTION_CHANGED, MSG_FOLDERS_CHANGED, MSG_HIGHLIGHTING_CHANGED, MSG_IN_ARC_ADDED, MSG_IN_ARC_REMOVED, MSG_INFO_CHANGED, MSG_LOCATION_CHANGED, MSG_NAME_CHANGED, MSG_NODE_ADDED, MSG_NODE_REMOVED, MSG_OUT_ARC_ADDED, MSG_OUT_ARC_REMOVED, MSG_SIZE_CHANGED, MSG_SOURCE_CHANGED, MSG_STRUCTURE_CHANGED, MSG_TARGET_CHANGED

Constructor Summary

SimEventItem(SimEPC parent_epc)

Method Summary

Methods inherited from class de.upb.swt.epctools.simulator.symbolic.SimItem

computeContactFormula, computeFormula

Methods inherited from class de.upb.swt.epctools.simulator.symbolic.SimNode

computeNextState, createNode, getContactFormula, getFormula, getInputOutputROBDDVariables, hasLocalSemantics, isEnabled, isInContact, simpleComputeContactFormula, simpleComputeFormula

Methods inherited from class de.upb.swt.epctools.model.Node

addListener, createNode, forwardMessage, getColor, getDescription, getDistantParent, getEPC, getHeight, getId, getIncomingArcs, getListeners, getMessage, getName, getOutgoingArcs, getPosX, getPosY, getType, getTypes, getTypeString, getWidth, isHighlighted, removeListener, sendRefreshMessage, setColor, setConstraint, setDescription, setHeight, setHighlighted, setId, setName, setPosition, setType, setWidth, simpleIsEnabled, simpleIsInContact, simpleNextStateComputation

Methods inherited from class java.lang.Object

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

Constructor Detail

SimEventItem

public SimEventItem(SimEPC parent_epc)