Skip to content

State Model Parameter

Leon Starr edited this page Feb 3, 2023 · 11 revisions

A parameter is a variable in the sense that it has a name, a type, and can be assigned some value.

A State Parameter defines one such input as part of a State Signature.

Identifiers

  1. Name + Signature + State model + Domain

Attributes

No non-referential attributes.

Clone this wiki locally