Test Cases sets

Jan Burse, created Aug 19. 2019

1 Predikate sys_expr_range/3

2 Predikate sys_union_set/3

3 Predikate sys_inter_set/3

4 Predikate sys_comp_set/2

5 Predikate sys_compare_expr/3

6 Predikate sys_set_agent/5

7 Predikate 'sys_const sys_in'/5

8 Predikate 'sys_var sys_in'/5

9 Predikate 'sys_in sys_in'/6

10 Predikate 'sys_const sys_set'/7

11 Predikate 'sys_var sys_set'/7

12 Predikate 'sys_in sys_set'/8

13 Predikate 'sys_set sys_set'/10

14 Predikate ins/2

15 Predikate all_different/1

Comments