Uses of Class
jline.api.wfn.WFNResource

Packages that use WFNResource

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

Uses of WFNResource in jline.api.wfn

Methods in jline.api.wfn that return WFNResource

Modifier and Type	Method	Description
WFNResource	WFNTransition.getResource()
WFNResource	WorkflowNet.setResource(String transition, String name)	As WorkflowNet.setResource(WFNTransition, String, Integer, SchedStrategy), transition by name.
WFNResource	WorkflowNet.setResource(String transition, String name, Integer servers)	As WorkflowNet.setResource(WFNTransition, String, Integer, SchedStrategy), transition by name.
WFNResource	WorkflowNet.setResource(String transition, String name, Integer servers, SchedStrategy scheduling)	As WorkflowNet.setResource(WFNTransition, String, Integer, SchedStrategy), transition by name.
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.

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

Modifier and Type	Method	Description
List<WFNResource>	WorkflowNet.getResources()