>

Integer Types

An integer type $X=[min,max]$ is a finite integer interval going from $min$ to $max$. That is, it is the set of values $min, min+1,..., max-1, max$. The following lines define three types of integers types:

  plIntegerType month(1, 12);
  plIntegerType gray_level(0, 255);
  plIntegerType distance(-50, 50);

We have then that month $=[1, 2,..., 12]$, gray_level $=[0, 1,..., 255]$ and distance $= [-50, -49,..., 50]$.