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
set: SET[LIVE_TYPE]
writable attribute
The set of possible LIVE_TYPEs which are all at_run_time and that can be held by a variable of the owner type.
writable attribute
Same set of LIVE_TYPEs, but sorted by increasing id.