cprover
|
Go to the source code of this file.
Classes | |
struct | saj_tablet |
produce canonical ordering for associative and commutative binary operators More... | |
Functions | |
bool | sort_operands (exprt::operandst &operands) |
sort operands of an expression according to ordering defined by operator< More... | |
static bool | sort_and_join (const struct saj_tablet &saj_entry, const irep_idt &type_id) |
static const struct saj_tablet & | sort_and_join (const irep_idt &id, const irep_idt &type_id) |
bool | sort_and_join (exprt &expr) |
Variables | |
struct saj_tablet | saj_table [] |
|
static |
Definition at line 97 of file simplify_utils.cpp.
References dstringt::empty(), and saj_tablet::type_ids.
Referenced by operator-=(), operator|=(), simplify_exprt::simplify_node(), and sort_and_join().
|
static |
Definition at line 108 of file simplify_utils.cpp.
References dstringt::empty(), saj_tablet::id, saj_table, and sort_and_join().
bool sort_and_join | ( | exprt & | expr | ) |
Definition at line 122 of file simplify_utils.cpp.
References dstringt::empty(), forall_operands, exprt::has_operands(), saj_tablet::id, irept::id(), exprt::operands(), sort_and_join(), sort_operands(), and exprt::type().
bool sort_operands | ( | exprt::operandst & | operands | ) |
sort operands of an expression according to ordering defined by operator<
Definition at line 16 of file simplify_utils.cpp.
References forall_expr.
Referenced by sort_and_join().
struct saj_tablet saj_table[] |
Referenced by sort_and_join().