Sollya User's Manual

Name:

in containment test operator

sollya_obj_t sollya_lib_cmp_in(sollya_obj_t, sollya_obj_t)

expr in range1 : (constant, range) -> boolean range1 in range2 : (range, range) -> boolean

When its first operand is a constant expression expr, the operator in evaluates to true iff the constant value of the expression expr is contained in the interval range1.
When both its operands are ranges (intervals), the operator in evaluates to true iff all values in range1 are contained in the interval range2.
in is also used as a keyword for loops over the different elements of a list.

   > 5 in [-4;7];
   true
   > 4 in [-1;1];
   false
   > 0 in sin([-17;17]);
   true

   > [5;7] in [2;8];
   true
   > [2;3] in [4;5];
   false
   > [2;3] in [2.5;5];
   false

   > for i in [|1,...,5|] do print(i);
   1
   2
   3
   4
   5

See also: ==, !=, >=, >, <=, <, !, &&, ||, prec, print