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