Test Cases linear

Jan Burse, created Aug 19. 2019

1 Predikate sys_add_prod/3

2 Predikate sys_mul_prod/3

3 Predikate 'sys_const sys_lin'/6

4 Predikate 'sys_var sys_lin'/6

5 Predikate 'sys_in sys_lin'/7

6 Predikate 'sys_lin sys_lin'/8

7 Predikate sys_mul_lin/7

8 Predikate 'sys_const sys_mulv'/5

9 Predikate 'sys_var sys_mulv'/5

10 Predikate 'sys_in sys_mulv'/6

11 Predikate 'sys_mulv sys_mulv'/6

Comments