George Necula b7f82e8cad [shape_poly] Improve the lexicographic ordering of symbolic expressions
In preparation for upcoming changes in the reasoning about
inequalities, we change the lexicographic ordering to
ensure that a symbolic expressions is strictly larger than
any constituent subexpressions. We add a `_size` attribute
that computes (and caches) the syntactic size of the expression.
2024-01-09 08:50:54 +02:00
..
2023-11-15 22:35:52 -05:00
2023-12-08 12:51:16 -08:00
2023-11-14 23:52:41 -05:00
2023-12-20 15:55:53 -08:00