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
util
simplify_utils.h
Generated by
1.8.20