public static class EPTree2PetrinetRecipe.Parameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
EPTree2Petrinet.CancelationMode |
cancelationMode |
EPTree2Petrinet.HierarchyMode |
hierarchyMode |
IQueryCancelError |
queryCatchError |
EPTree2Petrinet.RecursionMode |
recursionMode |
Constructor and Description |
---|
Parameters() |
public EPTree2Petrinet.HierarchyMode hierarchyMode
public EPTree2Petrinet.RecursionMode recursionMode
public EPTree2Petrinet.CancelationMode cancelationMode
public IQueryCancelError queryCatchError