+
Point of view
All features
deferred class CONSTRAINT_COUPLE
Summary
constraint on a couple of items NOT in the same group
Direct parents
Inherit list: CONSTRAINT
Known children
Inherit list: CONSTRAINT_NO, CONSTRAINT_YES
Overview
Features
{ANY}
item1: ITEM
writable attribute
{ANY}
the couple of items
item2: ITEM
writable attribute
{ANY}
the couple of items
make (i1: ITEM, i2: ITEM)
effective procedure
{ANY}
creation
require
  • i1.group /= i2.group
get_items (collector: ITEM_COLLECTOR)
effective procedure
{ANY}
collect the items
build_masks (builder: MASK_BUILDER)
deferred procedure
{ANY}
creation of the mask for the constraint