| Package | Description |
|---|---|
| org.processmining.plugins.ltlchecker.util |
| Modifier and Type | Method and Description |
|---|---|
void |
Substitutes.setBinder(RootNode binder)
Set the binding node for user added values so that these parameters are
bounded on the highest level, ther where they are used.
|