liangge Posted August 28, 2020 Report Share Posted August 28, 2020 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, ... Quote Link to comment Share on other sites More sharing options...
Recommended Posts
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.