12 #ifndef CPROVER_POINTER_ANALYSIS_POINTER_OFFSET_SUM_H 13 #define CPROVER_POINTER_ANALYSIS_POINTER_OFFSET_SUM_H 19 #endif // CPROVER_POINTER_ANALYSIS_POINTER_OFFSET_SUM_H exprt pointer_offset_sum(const exprt &a, const exprt &b)
Base class for all expressions.