MapNotForUserPurpose

This structure encapsulates some functions which provide access to the internal representation of maps. They are therefore not documented and their usage is strongly discouraged.

Signature of MapNotForUserPurpose

List of Import References :
See BOOL
See BSTree
See DENOTATION
See Map
See Nat
See Option
See Pair
See Seq
See Set
See SetByBST
See Tree

SIGNATURE MapNotForUserPurpose[dom, <, codom]

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

IMPORT Pair[dom, codom] ONLY pair
       SetByBST[pair[dom, codom], less] ONLY set
       Map[dom, <, codom] ONLY map

Parameter

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

FUN less : pair ** pair -> bool
FUN abs: set[pair, less] -> map
FUN rep: map -> set[pair, less]

next node: MapConv,
prev node: Map,
up to node: Subsystem Maps Proper