GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_CRITERION
+
Point of view
All features
ANY
All features
deferred class EDC_CRITERION
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
EDC_BINARY_CRITERION
,
EDC_FIELD_CRITERION
,
EDC_NOT_CRITERION
Overview
top
Features
{
ANY
}
infix "and"
(other: EDC_CRITERION): EDC_CRITERION
infix "or"
(other: EDC_CRITERION): EDC_CRITERION
prefix "not"
: EDC_CRITERION
infix "and"
(other: EDC_CRITERION): EDC_CRITERION
effective function
{
ANY
}
top
require
other /= Void
infix "or"
(other: EDC_CRITERION): EDC_CRITERION
effective function
{
ANY
}
top
require
other /= Void
prefix "not"
: EDC_CRITERION
effective function
{
ANY
}
top