Bind manually

Bind manually

Bind manually

Bind manually

Binds a transition manually. Applying the tool has different effects depending on where it is applied:

  • An enabled transition: Gets the possible bindings for that transition.
  • An enabled transition where the possible bindings has been bound: Fires the transition choosing a random binding between the ones that are left.
  • A binding index where a value has been chosen for all variables: Fires the transition with that binding.
  • A fired binding index: If the transition is still enabled, the tool gets the possible bindings for the transition. Otherwise the binding index is closed.

This tool is available through:

Evaluate ML

You must be logged in to post a comment.