Package | Description |
---|---|
org.processmining.plugins.ltlchecker |
Modifier and Type | Method and Description |
---|---|
void |
InfoItem.addAttribute(DataAttribute attr)
Adds an attribute as key-value pair to this information item.
|
void |
DataSection.put(DataAttribute attr) |