Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
Modifier and Type | Method and Description |
---|---|
void |
StringCompNode.setAttribute(StringAttribute attr)
Set the attribute of this node.
|
void |
StringValueNode.setValue(StringAttribute val)
Set the value.
|