Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
Modifier and Type | Method and Description |
---|---|
void |
NumberValueNode.setLeftChild(NumberValueNode child)
Set the left child.
|
void |
NumberValueNode.setRightChild(NumberValueNode child)
Set the right hild.
|
void |
NumberCompNode.setValue(NumberValueNode val)
Set the righthand side value of this node.
|