class WHEN_MAPPED
Features exported to
ANY
Direct parents
conformant parents
SENSITIVE
non-conformant parents
GRAPHIC
Known children
non-conformant children
WINDOW
Summary
exported features
when_mapped
(p:
PROCEDURE
[
O_
->
TUPLE
][
TUPLE
])
when_mapped_signal
:
SIGNAL_0
hash_code
:
INTEGER