GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
CONSTRAINT_RELATIONAL
+
Point of view
All features
ANY
All features
deferred class CONSTRAINT_RELATIONAL
Summary
top
Direct parents
Inherit list:
CONSTRAINT_LOGICAL
Known children
Inherit list:
CONSTRAINT_EQUAL
,
CONSTRAINT_GREATER
,
CONSTRAINT_LESSER
,
CONSTRAINT_NOT_EQUAL
Overview
top
Features
{
ANY
}
left
:
EXPR
right
:
EXPR
make
(lft:
EXPR
, rght:
EXPR
)
get_items
(collector:
ITEM_COLLECTOR
)
collect the items
to_boolean
:
BOOLEAN
left
:
EXPR
writable attribute
{
ANY
}
top
right
:
EXPR
writable attribute
{
ANY
}
top
make
(lft:
EXPR
, rght:
EXPR
)
effective procedure
{
ANY
}
top
get_items
(collector:
ITEM_COLLECTOR
)
effective procedure
{
ANY
}
top
collect the items
to_boolean
:
BOOLEAN
deferred function
{
ANY
}
top