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 123 of file simplify_utils.cpp.
bool sort_operands | ( | exprt::operandst & | operands | ) |
sort operands of an expression according to ordering defined by operator<
Definition at line 17 of file simplify_utils.cpp.