produce canonical ordering for associative and commutative binary operators More...
produce canonical ordering for associative and commutative binary operators
Definition at line 61 of file simplify_utils.cpp.
Definition at line 63 of file simplify_utils.cpp.
Definition at line 64 of file simplify_utils.cpp.