immutable class TUP{T1,T2,T3,T4} < $HASH, $STR

---

Ancestors

$STR

$HASH

$IS_EQ

COMPARE{_}

---

Public

Readable Attributes

attr t1:T1;

attr t2:T2;

attr t3:T3;

attr t4:T4;

Writable Attributes

attr t1:T1;

attr t2:T2;

attr t3:T3;

attr t4:T4;

Features

create(at1:T1, at2:T2, at3:T3, at4:T4):SAME

elt_eq(e1,e2:ETP):BOOL .. Included as elt_eq2

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_eq(e1,e2:ETP):BOOL .. Included as elt_eq3

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_eq(e1,e2:ETP):BOOL .. Included as elt_eq4

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_hash(e:ETP):INT .. Included as elt_hash2

****	A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants.

elt_hash(e:ETP):INT .. Included as elt_hash3

****	A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants.

elt_hash(e:ETP):INT .. Included as elt_hash4

****	A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants.

elt_lt(e1,e2:ETP):BOOL .. Included as elt_lt2

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_lt(e1,e2:ETP):BOOL .. Included as elt_lt3

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_lt(e1,e2:ETP):BOOL .. Included as elt_lt4

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_nil: ETP .. Included as elt_nil2

****	Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void _

elt_nil: ETP .. Included as elt_nil3

****	Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void _

elt_nil: ETP .. Included as elt_nil4

****	Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void _

hash:INT

****	A simple hash value computed from the hash values of the components. For this to work, these must either be value types which define hash values or reference types.

is_elt_nil(e:ETP):BOOL .. Included as is_elt_nil2

is_elt_nil(e:ETP):BOOL .. Included as is_elt_nil3

is_elt_nil(e:ETP):BOOL .. Included as is_elt_nil4

is_eq(e:SAME):BOOL

****	True if the components of self and `e' are equal.

is_eq(arg: $OB): BOOL .. Included as is_eq

str: STR

---

Private

elt_eq(e1,e2:ETP):BOOL .. Included as elt_eq

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_hash(e:ETP):INT .. Included as elt_hash

****	A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants.

elt_lt(e1,e2:ETP):BOOL .. Included as elt_lt

****	The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants.

elt_nil: ETP .. Included as elt_nil

****	Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void _

is_elt_nil(e:ETP):BOOL .. Included as is_elt_nil

---

The Sather Home Page

---