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