lower : T lower_included : Boolean lower_unbounded : Boolean upper : T upper_included : Boolean upper_unbounded : Boolean | View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info | Stereotypes | Attributes | Operations | Template Parameters | Constraints |
| Stereotypes |
| <<Interface>> |
| Attributes | ||||
| Signature | Optionality | Multiplicity | Constant | Documentation |
| lower : T | 1 | -- | Lower bound. | |
| lower_included : Boolean | 1 | -- | lower boundary value included in range if not lower_unbounded | |
| lower_unbounded : Boolean | 1 | -- | lower boundary open (i.e. = -infinity) | |
| upper : T | 1 | -- | Upper bound. | |
| upper_included : Boolean | 1 | -- | upper boundary value included in range if not upper_unbounded | |
| upper_unbounded : Boolean | 1 | -- | upper boundary open (i.e. = +infinity) | |
| Template Parameters | ||
| Name | Type | Default Value |
| T | Ordered | |
| Operations | ||
| Signature | Constraints | Documentation |
 has(e : T)
:
Boolean | ||
| Constraints | ||
| Name | Expression | |
| Limits_comparable | inv: (not upper_unbounded and not lower_unbounded) implies lower.strictly_comparable_to(upper) | |
| Limits_consistent | inv: (not upper_unbounded and not lower_unbounded) implies lower <= upper | |
| Lower_included_valid | inv: lower_unbounded implies not lower_included | |
| Upper_included_valid | inv: upper_unbounded implies not upper_included | |