Expand description

Test utilities for the interval arithmetic library

Functions

  • This test function generates a conjunctive statement with two numeric terms with the following form: left_col (op_1) a >/>= right_col (op_2) b AND left_col (op_3) c </<= right_col (op_4) d
  • This test function generates a conjunctive statement with two scalar values with the following form: left_col (op_1) a > right_col (op_2) b AND left_col (op_3) c < right_col (op_4) d