Source Code linform

Jan Burse, created Mar 18. 2019

1 Predikate #= /2

2 Predikate #\= /2

3 Predikate #< /2

4 Predikate #> /2

5 Predikate #=< /2

6 Predikate #>= /2

7 Predikate sys_compare_expr/3

8 Predikate all_different/1

9 Predikate sys_nq_list/2

10 Predikate sys_hook_lin/2

11 Predikate sys_lin/3

12 Predikate sys_lin_ref/4

13 Predikate sys_lin_remove/2

14 Predikate sys_lin_agent/5

15 Predikate sys_var_lin/3

16 Predikate sys_const_lin/3

17 Predikate intset:sys_in/4

18 Predikate residue:sys_current_eq/2

19 Predikate residue:sys_unwrap_eq/3

20 Predikate sys_value_expr/3

21 Predikate sys_value_expr_inv/3

22 Predikate sys_pretty_lin/3

23 Predikate sys_pretty_prod/2

24 Predikate sys_pretty_add/3

25 Predikate sys_pretty_sub/3

26 Predikate sys_pretty_in/3

27 Predikate sys_mul_lin/9

28 Predikate sys_mul_arg/5

29 Predikate sys_abs_lin/6

30 Predikate sys_abs_arg/4

31 Predikate sys_make_prod/4

32 Predikate sys_add_prod/3

33 Predikate sys_mul_prod/3

34 Predikate sys_pick_prod/4

35 Predikate sys_gcd_prod/2

36 Predikate sys_flip_prod/2

37 Predikate sys_div_prod/3

38 Predikate sys_bound_poly/2

39 Predikate sys_rampup_poly/4

40 Predikate sys_bound_divisor/2

41 Predikate sys_bound_factor/2

Comments