Interface | Description |
---|---|
FallThrough |
Class | Description |
---|---|
FallThroughActivityConcurrent | |
FallThroughActivityOncePerTraceConcurrent |
Try to exclude a single activity, given that it occurs precisely once per
trace.
|
FallThroughFlowerWithoutEpsilon | |
FallThroughTauLoop | |
FallThroughTauLoopStrict |