+
Point of view
All features
class EDC_NOT_CRITERION
Summary
Direct parents
Inherit list: EDC_CRITERION
Class invariant
Overview
prefix "not": EDC_CRITERION
effective function
{ANY}
make (one: EDC_CRITERION)
effective procedure
{}
writable attribute
{}
infix "and" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
infix "or" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}