
print_range(-Var, -Range)

   Returns the ranged variable Var's range.

Arguments
   Var                 A ranged variable
   Range               Range of the varaible

Type
   library(range)

Description

  Returns the variable's range in a form that would be acceptable to ::/2,
  ie. as a Lo..Hi structure, encoding the variable's type in the type of
  the bounds. The variable must have a previously defined range.


  This is the print handler for the range attribute.


Fail Conditions
   Var is not a ranged variable

Examples
   [eclipse 11]: print_range(3,X).  % a non-variable

no (more) solution.
[eclipse 12]: print_range(X,Y).  % variable has no range

no (more) solution.
[eclipse 13]: A :: 1..3, print_range(A, B). % integer range

A = A{1 .. 3}
B = 1 .. 3
yes.
[eclipse 14]: A :: -inf..10.0, print_range(A, B). % real range

A = A{-1.0Inf .. 10.0}
B = -1.0Inf .. 10.0
yes.



