cprover
pointer_offset_sum.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Pointer Dereferencing
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_POINTER_ANALYSIS_POINTER_OFFSET_SUM_H
13 #define CPROVER_POINTER_ANALYSIS_POINTER_OFFSET_SUM_H
14 
15 #include <util/expr.h>
16 
17 exprt pointer_offset_sum(const exprt &a, const exprt &b);
18 
19 #endif // CPROVER_POINTER_ANALYSIS_POINTER_OFFSET_SUM_H
exprt pointer_offset_sum(const exprt &a, const exprt &b)
Base class for all expressions.
Definition: expr.h:54