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