Uses of Class
jline.api.wfn.WFNTransition

Packages that use WFNTransition

Package	Description
jline.api.wfn	Workflow Net (WF-net) analysis for LINE.

Uses of WFNTransition in jline.api.wfn

Methods in jline.api.wfn that return WFNTransition

Modifier and Type	Method	Description
WFNTransition	WorkflowNet.addTransition(String name)	Add a timed transition firing after an Exp(1) delay.
WFNTransition	WorkflowNet.addTransition(String name, Distribution distribution)	Add a transition; an Immediate distribution makes it immediate.
WFNTransition	WorkflowNet.addTransition(String name, Distribution distribution, TimingStrategy timing, Integer servers, Integer priority, Double weight)	Add a transition.
WFNTransition	WorkflowNet.getTransition(String name)	Get a transition by name.

Methods in jline.api.wfn that return types with arguments of type WFNTransition

Modifier and Type	Method	Description
List<WFNTransition>	WorkflowNet.getTransitions()

Methods in jline.api.wfn with parameters of type WFNTransition

Modifier and Type	Method	Description
WFNResource	WorkflowNet.setResource(WFNTransition transition, String name)	As WorkflowNet.setResource(WFNTransition, String, Integer, SchedStrategy) with defaults.
WFNResource	WorkflowNet.setResource(WFNTransition transition, String name, Integer servers)	As WorkflowNet.setResource(WFNTransition, String, Integer, SchedStrategy) with default scheduling.
WFNResource	WorkflowNet.setResource(WFNTransition transition, String name, Integer servers, SchedStrategy scheduling)	Assign a shared resource to a timed transition.