10 #ifndef CPROVER_UTIL_SIMPLIFY_UTILS_H 11 #define CPROVER_UTIL_SIMPLIFY_UTILS_H 19 #endif // CPROVER_UTIL_SIMPLIFY_UTILS_H bool sort_operands(exprt::operandst &operands)
sort operands of an expression according to ordering defined by operator<
bool sort_and_join(exprt &expr)
std::vector< exprt > operandst
Base class for all expressions.