cprover
simplify_utils.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_SIMPLIFY_UTILS_H
11 #define CPROVER_UTIL_SIMPLIFY_UTILS_H
12 
13 #include "expr.h"
14 
15 bool sort_operands(exprt::operandst &operands);
16 
17 bool sort_and_join(exprt &expr);
18 
19 #endif // CPROVER_UTIL_SIMPLIFY_UTILS_H
exprt
Base class for all expressions.
Definition: expr.h:53
expr.h
exprt::operandst
std::vector< exprt > operandst
Definition: expr.h:55
sort_operands
bool sort_operands(exprt::operandst &operands)
sort operands of an expression according to ordering defined by operator<
Definition: simplify_utils.cpp:17
sort_and_join
bool sort_and_join(exprt &expr)
Definition: simplify_utils.cpp:123