Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
Modifier and Type | Method and Description |
---|---|
void |
NumberCompNode.setAttribute(NumberAttribute attr)
Set the attribute of this node.
|
void |
NumberValueNode.setValue(NumberAttribute val)
Set the Value.
|