cprover
|
produce canonical ordering for associative and commutative binary operators More...
Public Attributes | |
const irep_idt | id |
const irep_idt | type_ids [10] |
produce canonical ordering for associative and commutative binary operators
Definition at line 50 of file simplify_utils.cpp.
const irep_idt saj_tablet::id |
Definition at line 52 of file simplify_utils.cpp.
const irep_idt saj_tablet::type_ids[10] |
Definition at line 53 of file simplify_utils.cpp.