Jump to content

action inference for state input

Recommended Posts


As it mentioned in PSS 16.1 Implicit binding and action inferences, action inference is necessary for any input which can‘t bound to an output

Is it also necessary, when the input is state?

As I understanding, the initial value of state can be used as the input value

If the initial value is not conflict with any constraint, it doesn't need to inference any new action for the state input



16.1 Implicit binding and action inferences


Action inferences are necessary to make a scenario execution legal if the following conditions hold.

a) An input of any kind is not explicitly bound to an output, ...

Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...