class RUN_TIME_SET
Summary
Class invariant
Overview
creation features
exported features
Basic accessing:
count: INTEGER_32
effective function
item (index: INTEGER_32): LIVE_TYPE
effective function
is_empty: BOOLEAN
effective function
has (live_type: LIVE_TYPE): BOOLEAN
effective function
owner: LIVE_TYPE
writable attribute
The owner of the Current set.
first: LIVE_TYPE
effective function