+
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
{}
require
  • one /= Void
ensure
writable attribute
{}
infix "and" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
require
  • other /= Void
infix "or" (other: EDC_CRITERION): EDC_CRITERION
effective function
{ANY}
require
  • other /= Void