+
Point of view
All features
class ITEM_COLLECTOR
Summary
top
collector of items in the constraints
Direct parents
Insert list: ANY
Overview
top
Creation features
{ANY}
Features
{ANY}
item_set: HASHED_SET[ITEM_ITEM]
writable attribute
{ANY}
top
the collected items
var_set: HASHED_SET[ITEM_VAR]
writable attribute
{ANY}
top
the collected vars
make
effective procedure
{ANY}
top
ensure
clear
effective procedure
{ANY}
top
ensure
has_var: BOOLEAN
effective function
{ANY}
top
ensure
has_item: BOOLEAN
effective function
{ANY}
top
ensure
put (item: ITEM)
effective procedure
{ANY}
top
records the item in item_set or in var_set depending on the real type of item that can be ITEM_VAR or ITEM_ITEM