[ library(COLIBRI_DOC) | ]
int_vars(Type,Vars)
Typing constraints for "integer" variables Vars.
- Type
- Integer type among int, int(N) and uint(N) (where N is a positive integer defining the size in bits for signed/unsigned integers).
- Vars
- A variable or a list of variables.
Description
Variables in Vars are constrained to have the type Type. For int type this means that Vars belong to the default integer range (-2^51..2^51-1). For int(N) type this means that Vars belong to -2^(N-1)..2^(N-1)-1. For uint(N) type this means that Vars belong to 0..(2^N)-1
Fail Conditions
Fails if some variable in Vars cannot have the defined type.
Resatisfiable
no
Examples
Succes:
int_vars(int(8),X).
(gives X = _868{[-128 .. 127]})
Fail:
int_vars(int(8),X),int_vars(uint(8),X)
See Also
#: / 2, set_default_int_bounds / 2