next node: RelFilter,
prev node: Rel,
up to node: Subsystem Binary Relations

RelNotForUserPurpose

Functions of this structure allow access to the representation of data type rel (see Rel). Functions must not be used by anybody! Excepted are library structures who should be coded efficiently.

Signature of RelNotForUserPurpose

List of Import References :
See BOOL
See DENOTATION
See Map
See Nat
See Option
See Pair
See Rel
See Seq
See Set
See Triple 

SIGNATURE RelNotForUserPurpose[dom:SORT, < : dom ** dom -> bool,

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $) 

                               codom:SORT, < : codom ** codom -> bool,
                               data]

SORT dom codom data
FUN < : dom ** dom -> bool
FUN < : codom ** codom -> bool

IMPORT Rel[dom, <, codom, <, data] ONLY rel
       Map[codom, <, data] ONLY map
       Map[dom, <, map[codom, <, data]] ONLY map

FUN abs: map[dom, <, map[codom, <, data]] -> rel
FUN rep: rel -> map[dom, <, map[codom, <, data]]

next node: RelFilter,
prev node: Rel,
up to node: Subsystem Binary Relations