[ library(ic_kernel) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
set_var_integer(+Attr)
Marks the IC attribute as being integral.
- Attr
- An IC attribute
Description
Lowelevel predicate which marks an IC attributes as representing
and integral value.
Typicaly not called directly but indirectly through
integers/1 which works on variables.
See Also
integers / 1