lower bound.

Declaration :

• Uml : + lower : T, multiplicity : 0..1
• C++ : public: T lower
• Java : public T lower

Upper bound.

Declaration :

• Uml : + upper : T, multiplicity : 0..1
• C++ : public: T upper
• Java : public T upper

lower boundary open (i.e. = -infinity)

Declaration :

• Uml : + lower_unbounded : Boolean, multiplicity : 1
• C++ : public: bool lower_unbounded
• Java : public boolean lower_unbounded

upper boundary open (i.e. = +infinity)

Declaration :

• Uml : + upper_unbounded : Boolean, multiplicity : 1
• C++ : public: bool upper_unbounded
• Java : public boolean upper_unbounded

lower boundary value included in range if not lower_unbounded.

Declaration :

• Uml : + lower_included : Boolean, multiplicity : 1
• C++ : public: bool lower_included
• Java : public boolean lower_included

upper boundary value included in range if not upper_unbounded.

Declaration :

• Uml : + upper_included : Boolean, multiplicity : 1
• C++ : public: bool upper_included
• Java : public boolean upper_included

True if (lower_unbounded or
((lower_included and v >= lower) or
v > lower)) and
(upper_unbounded or
((upper_included and v <= upper or v
< upper)))

Declaration :

• Uml : + has(in e : T) : Boolean
• C++ : public: bool has()
• Java : public boolean has()