GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
CONSTRAINT_NOT_EQUAL
+
Point of view
All features
ANY
All features
class CONSTRAINT_NOT_EQUAL
Summary
top
Direct parents
Inherit list:
CONSTRAINT_RELATIONAL
Overview
top
Creation features
Features
{
ANY
}
to_boolean
:
BOOLEAN
{
ANY
}
left
:
EXPR
right
:
EXPR
make
(lft:
EXPR
, rght:
EXPR
)
get_items
(collector:
ITEM_COLLECTOR
)
collect the items
to_boolean
:
BOOLEAN
effective function
{
ANY
}
top
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