projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d263d0) | patch
Improve naming in term canonization when handling HO variables (#7660)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 17 Nov 2021 22:12:22 +0000 (19:12 -0300)
committerGitHub <noreply@github.com>
Wed, 17 Nov 2021 22:12:22 +0000 (22:12 +0000)
commitd4fdf8bd4f0f27b88f971541b112bbaee9564293
tree641cf877ed4e44aae90d141485a1349ae6c78093tree
parent2d263d02cfe5f80e6927c66bcefdc1bb824afdcfcommit | diff
Improve naming in term canonization when handling HO variables (#7660)

Previously all higher-order variables would me named with "-" followed by the index, since the method did not account for functional types (which are printed as with (-> ...)). This commit changes it so that it takes the return type, which will always be atomic, thus giving more meaningful names to the canonical variables.
src/expr/term_canonize.cpp diff | blob | history