Derived Attribute hasValidReasons of Type Termination in workspace
This field contains elements you are not allowed to see.

Name

hasValidReasons

Is visible at instance-level

Help for Editors

Return Type

Boolean

Expression

Incoming MxL References

Derived Property Definitions

Termination::isValid

Outgoing MxL References

Derived Property Definitions

ReasonForTermination::isValidReason

Property Definitions

Termination::justifying

Incoming links