Uses of Class
jline.api.wfn.SoundnessReport

Packages that use SoundnessReport

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

Uses of SoundnessReport in jline.api.wfn

Methods in jline.api.wfn that return SoundnessReport

Modifier and Type	Method	Description
SoundnessReport	WorkflowNet.checkSoundness()	As WorkflowNet.checkSoundness(int, double) with k = 1 and the stateCap property.
SoundnessReport	WorkflowNet.checkSoundness(int k)	As WorkflowNet.checkSoundness(int, double) with the stateCap property.
SoundnessReport	WorkflowNet.checkSoundness(int k, double stateCap)	Decide k-soundness on the reachability graph.

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

Modifier and Type	Method	Description
static String	WorkflowNet.formatReport(SoundnessReport report)	One-line summary of a soundness report.