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)|object _initial)