[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

print_range(-Var, -Range)

Returns the ranged variable Var's range.

Var: A ranged variable
Range: Range of the varaible

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.