Loading...

Searching...

No Matches

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.