Package | Description |
---|---|
org.processmining.plugins.ltlchecker |
Modifier and Type | Method and Description |
---|---|
InstanceModel[] |
CheckResultObject.getInstances() |
Modifier and Type | Method and Description |
---|---|
void |
CheckResultObject.setInstances(InstanceModel[] instances) |