Module test_utils

Test utilities for the interval arithmetic library

Functions

gen_conjunctive_numerical_expr

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

gen_conjunctive_temporal_expr

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