Uses of Class
jline.api.wfn.WFNPlace

Packages that use WFNPlace

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

Uses of WFNPlace in jline.api.wfn

Methods in jline.api.wfn that return WFNPlace

Modifier and Type	Method	Description
WFNPlace	WorkflowNet.addPlace(String name)	Add a place without tokens.
WFNPlace	WorkflowNet.addPlace(String name, int initialMarking)	Add a place.
WFNPlace	WorkflowNet.getPlace(String name)	Get a place by name.
WFNPlace	WorkflowNet.getSinkPlace()
WFNPlace	WorkflowNet.getSourcePlace()

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

Modifier and Type	Method	Description
List<WFNPlace>	WorkflowNet.getPlaces()

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

Modifier and Type	Method	Description
void	WorkflowNet.setSink(WFNPlace place)	Declare the sink place (checked by validate).
void	WorkflowNet.setSource(WFNPlace place)	Declare the source place (checked by validate).