Assumption

[Base] tab

  • Namespace

    • Display the namespace (module hierarchy) to which the Assumption belongs.

  • ID

    • It is the unique identifier in the name space to which the Assumption belongs and can be changed.

  • Uninstantiated

    • If this checkbox is checked, it indicates that the Assumption is not yet instantiated and will be further elaborated later.

  • Public

    • If this checkbox is checked, it indicates that the Assumption can be referenced by other Modules.

  • Statement

    • Description of the Assumption