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

java.lang.Object
  de.upb.swt.epctools.model.Arc
      de.upb.swt.epctools.simulator.symbolic.SimArc

public class SimArc
extends Arc

This class represents an EPC arc

Field Summary

private de.upb.swt.mcie.formulas.Variable	m_formula_primed_var
private de.upb.swt.mcie.formulas.Variable	m_formula_var
private de.upb.swt.mcie.robdds.Variable	m_robdd_primed_var
private de.upb.swt.mcie.robdds.Variable	m_robdd_var

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

a_type, ANCHOR_BOTTOM, ANCHOR_LEFT, ANCHOR_NONE, ANCHOR_RIGHT, ANCHOR_TOP, part, r_type, TYPE_ANY, TYPE_FLOW, TYPE_INPUT, TYPE_OUTPUT, TYPE_RELATION, TYPE_ROLE

Constructor Summary

SimArc(SimEPC parent_epc, Node source, Node target, int source_anchor_id, int target_anchor_id)
Initialization.

Method Summary

void	createVariable(java.lang.String name) This function sets the variables corresponding to "this" Arc.
de.upb.swt.mcie.robdds.Variable	getPrimedROBDDVariable() Returns the ROBDD variable corresponding to "this" Arc
de.upb.swt.mcie.formulas.Variable	getPrimedVariable() Returns the variable corresponding to "this" Arc
de.upb.swt.mcie.robdds.Variable	getROBDDVariable() Returns the ROBDD variable corresponding to "this" Arc
de.upb.swt.mcie.formulas.Variable	getVariable() Returns the variable corresponding to "this" Arc

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

addListener, addToNodes, forwardMessage, getBendPoints, getDistantArc, getDistantChild, getDistantParent, getEPC, getFolders, getId, getNearestAnchor, getSource, getSourceAnchorId, getSourceAnchorPosition, getTarget, getTargetAnchorId, getTargetAnchorPosition, removeFromNodes, removeListener, setFolders, setId, setSource, setSourceAnchorId, setTarget, setTargetAnchorId

Methods inherited from class java.lang.Object

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

Field Detail

m_formula_var

private de.upb.swt.mcie.formulas.Variable m_formula_var

m_formula_primed_var

private de.upb.swt.mcie.formulas.Variable m_formula_primed_var

m_robdd_var

private de.upb.swt.mcie.robdds.Variable m_robdd_var

m_robdd_primed_var

private de.upb.swt.mcie.robdds.Variable m_robdd_primed_var

Constructor Detail

SimArc

public SimArc(SimEPC parent_epc,
              Node source,
              Node target,
              int source_anchor_id,
              int target_anchor_id)

Initialization.

Method Detail

getVariable

public de.upb.swt.mcie.formulas.Variable getVariable()

Returns the variable corresponding to "this" Arc

getPrimedVariable

public de.upb.swt.mcie.formulas.Variable getPrimedVariable()

Returns the variable corresponding to "this" Arc

getROBDDVariable

public de.upb.swt.mcie.robdds.Variable getROBDDVariable()

Returns the ROBDD variable corresponding to "this" Arc

getPrimedROBDDVariable

public de.upb.swt.mcie.robdds.Variable getPrimedROBDDVariable()

Returns the ROBDD variable corresponding to "this" Arc

createVariable

public void createVariable(java.lang.String name)

This function sets the variables corresponding to "this" Arc.