Package jline.api.wfn

Class WFNArc

java.lang.Object
jline.api.wfn.WFNArc

public class WFNArc extends Object
An arc of a Workflow Net, from a place to a transition or from a transition to a place, with a positive integer weight (multiplicity).

Arcs are created by WorkflowNet.addArc(WFNNode, WFNNode, int), which checks the endpoints.

MATLAB twin: matlab/src/api/wfn/WFNArc.m.

  • Constructor Details

    • WFNArc

      public WFNArc(WorkflowNet workflowNet, WFNNode source, WFNNode target, int weight)
      Create a new WFNArc.
      Parameters:
      workflowNet - parent WorkflowNet
      source - source node
      target - target node
      weight - arc weight
  • Method Details

    • getSource

      public WFNNode getSource()
    • getTarget

      public WFNNode getTarget()
    • getWeight

      public int getWeight()
    • setWeight

      public void setWeight(int weight)
    • getWorkflowNet

      public WorkflowNet getWorkflowNet()
    • toString

      public String toString()
      Overrides:
      toString in class Object