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

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.SimFunctionItem

All Implemented Interfaces:

ModelListener

public class SimFunctionItem
extends SimItem

This class represents an EPC function 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

SimFunctionItem(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

SimFunctionItem

public SimFunctionItem(SimEPC parent_epc)