diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-22 13:41:12 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-22 15:58:05 +0100 |
| commit | 84f84262a122875e930585dee346124b316d376f (patch) | |
| tree | 0b290cd4e8a49b8d34c8ec5357f3e57b7e8d5078 /validation/optim | |
| parent | ef00ea2fa5203a2e3da3e3c7f2c46668d66c31c9 (diff) | |
| download | sparse-dev-84f84262a122875e930585dee346124b316d376f.tar.gz | |
canon: simplify calculation of canonical order
The calculation of the canonical order is currently somehow
complicated.
Fix this by reordering the definition of the different type of
pseudos so that they are already in canonical order and just
comparing the types to determine the order.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim')
0 files changed, 0 insertions, 0 deletions