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

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

All Implemented Interfaces:

ModelListener

Direct Known Subclasses:

SimAndConnector, SimOrConnector, SimXorConnector

public abstract class SimConnector
extends SimNode

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

SimConnector(SimEPC parent_epc)
Initialization

Method Summary

abstract de.upb.swt.mcie.formulas.Formula	computeContactFormula() Returns a formula corresponding to all states where "this" Node is in contact situation.
abstract 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

SimConnector

public SimConnector(SimEPC parent_epc)

Initialization

Method Detail

computeFormula

public abstract 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 SimNode

computeContactFormula

public abstract 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 SimNode