abstract_object.cpp File Reference

#include <iostream>
#include <analyses/variable-sensitivity/abstract_environment.h>
#include <util/mathematical_types.h>
#include <util/simplify_expr.h>
#include <util/std_expr.h>
#include "abstract_object.h"

Include dependency graph for abstract_object.cpp:

Go to the source code of this file.

Functions
static bool	is_pointer_addition (const exprt &expr)

Function Documentation

is_pointer_addition()

static bool is_pointer_addition ( const exprt &  expr )

static

Definition at line 92 of file abstract_object.cpp.