Requirement
Types¶
requirement $tType¶
A restriction on the property values that a template may enforce on a modelet.
Source: properties.tff¶
Relations¶
datatype_of_requirement (requirement>datatype)¶
The datatype of a certain requirement.
Source: properties.tff¶
is_permissible ((requirement*$real) >$o)¶
Check if a value is permissible under a certain requirement.
Source: properties.tff¶
is_part_of ((requirement*template) >$o)¶
Check if a requirement is part of a template.