Jump to content

liangge

Members
  • Content Count

    1
  • Joined

  • Last visited

About liangge

  • Rank
    Member

Recent Profile Visitors

The recent visitors block is disabled and is not being shown to other users.

  1. 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
×
×
  • Create New...