class WHEN_PARTIALLY_VISIBLE
Features exported to
INTERNALS_HANDLER
Direct parents
conformant parents
SENSITIVE
non-conformant parents
GRAPHIC
Summary
exported features
when_partially_visible
(p:
PROCEDURE
[
O_
->
TUPLE
][
TUPLE
])
when_partially_visible_signal
:
SIGNAL_0
hash_code
:
INTEGER