[ 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