Enumerative form of an operator

NEWTYPE color

LITERALS

white, pink, red;

OPERATORS
mix: color, color -> color;

AXIOMS
mix(red,white)==mix(white,red);

mix(white,red)== pink;
mix(white,pink)==pink;
mix(pink,white)==pink;
mix(pink,red)==ERROR!

ENDNEWTYPE;

ERROR! for

non-specified

cases

c3 := mix (c1, c2)

Previous slide

Next slide

Back to first slide

View graphic version