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

java.lang.Object
  de.upb.swt.epctools.model.Node
      de.upb.swt.epctools.simulator.symbolic.SimNode
          de.upb.swt.epctools.simulator.symbolic.SimConnector
              de.upb.swt.epctools.simulator.symbolic.SimOrConnector

All Implemented Interfaces:

ModelListener

public class SimOrConnector
extends SimConnector

This class represents an EPC or-connector.

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

SimOrConnector(SimEPC parent_epc)
Initialization.

Method Summary

de.upb.swt.mcie.formulas.Formula	computeContactFormula() Returns a formula corresponding to all states where "this" Node is in contact situation.
de.upb.swt.mcie.formulas.Formula	computeFormula() This abstract function is implemented by each node type and computes a formula (which is stored in m_tr_formula) corresponding to a transition relation for the concerned node.

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

SimOrConnector

public SimOrConnector(SimEPC parent_epc)

Initialization.

Method Detail

computeFormula

public de.upb.swt.mcie.formulas.Formula computeFormula()

Description copied from class: SimNode

This abstract function is implemented by each node type and computes a formula (which is stored in m_tr_formula) corresponding to a transition relation for the concerned node. The formula depends on ingoing and outgoing connections of the node, but also on every connection in the epc, because a transition relation must define the behaviour for every state of the system.

Specified by:

computeFormula in class SimConnector

computeContactFormula

public de.upb.swt.mcie.formulas.Formula computeContactFormula()

Description copied from class: SimNode

Returns a formula corresponding to all states where "this" Node is in contact situation.

Specified by:

computeContactFormula in class SimConnector