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.
|