cprover
|
#include "expr.h"
Go to the source code of this file.
Functions | |
bool | sort_operands (exprt::operandst &operands) |
sort operands of an expression according to ordering defined by operator< More... | |
bool | sort_and_join (exprt &expr) |
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().