Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree | |
org.processmining.plugins.ltlchecker.util |
Modifier and Type | Method and Description |
---|---|
void |
SetCompNode.setValue(SetValueNode val)
Set the righthand side value of this node.
|
Modifier and Type | Method and Description |
---|---|
SetValueNode |
ParamData.createSetValueNode(java.lang.String value,
int indexInTable) |