|
| logical function | tools_repro::repro_eq_int (x, y) |
| | Equal test for int. More...
|
| |
| logical function | tools_repro::repro_eq_real (x, y) |
| | Equal test for real. More...
|
| |
| logical function | tools_repro::repro_eq_logical (x, y) |
| | Equal test for logical. More...
|
| |
| logical function | tools_repro::repro_inf_int (x, y) |
| | Inferior test for int. More...
|
| |
| logical function | tools_repro::repro_inf_real (x, y) |
| | Inferior test for real. More...
|
| |
| logical function | tools_repro::repro_infeq_int (x, y) |
| | Inferior or equal test for int. More...
|
| |
| logical function | tools_repro::repro_infeq_real (x, y) |
| | Inferior or equal test for real. More...
|
| |
| logical function | tools_repro::repro_sup_int (x, y) |
| | Superior test for int. More...
|
| |
| logical function | tools_repro::repro_sup_real (x, y) |
| | Superior test for real. More...
|
| |
| logical function | tools_repro::repro_supeq_int (x, y) |
| | Superior or equal test for int. More...
|
| |
| logical function | tools_repro::repro_supeq_real (x, y) |
| | Superior or equal test for real. More...
|
| |
| logical function | tools_repro::repro_indist (x, y) |
| | Indistiguishability test. More...
|
| |
| logical function | tools_repro::repro_small (x, y) |
| | Small value test. More...
|
| |