Class ADT.Relation.Binary (< LeftType, RightType >)

Description

An abstract data type for binary relations.

This datatype implements something similar to a set of tuples <left, right>, or a multi-valued mapping.

Generic LeftType

__generic__ mixed LeftType = mixed

Description

Type for the left values in the relation.

Generic RightType

__generic__ mixed RightType = LeftType

Description

Type for the right values in the relation.

Method create

ADT.Relation.Binary ADT.Relation.Binary(void|mixed id, void|mapping(LeftType:RightType)|this_program(< LeftType, RightType >) initial)

Description

Initialize a new ADT.Relation.Binary object.

Parameter id

Identifier for the relation.

Parameter initial

Initial contents of the relation.

See also

get_id()