public static class ModelRepair_SubProcess.SubLog
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Set<hub.top.petrinet.Place> |
location |
java.util.List<java.util.List<ModelRepair_SubProcess.MoveOnLog>> |
traces |
Constructor and Description |
---|
SubLog() |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.util.List<java.lang.String>> |
getEventTraces() |
public java.util.Set<hub.top.petrinet.Place> location
public java.util.List<java.util.List<ModelRepair_SubProcess.MoveOnLog>> traces