#include "simplify_utils.h"
#include "as_const.h"
#include <algorithm>
Go to the source code of this file.
|
struct | saj_tablet |
| produce canonical ordering for associative and commutative binary operators More...
|
|
◆ sort_and_join() [1/3]
◆ sort_and_join() [2/3]
static bool sort_and_join |
( |
const struct saj_tablet & |
saj_entry, |
|
|
const irep_idt & |
type_id |
|
) |
| |
|
static |
◆ sort_and_join() [3/3]
bool sort_and_join |
( |
exprt & |
expr | ) |
|
◆ sort_operands()
sort operands of an expression according to ordering defined by operator<
- parameters: operand list
- Returns
- modifies operand list returns true iff nothing was changed
Definition at line 17 of file simplify_utils.cpp.
◆ saj_table