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