cprover
|
#include <analyses/ai.h>
#include <analyses/variable-sensitivity/abstract_environment.h>
#include <analyses/variable-sensitivity/abstract_object.h>
#include <analyses/variable-sensitivity/abstract_object_statistics.h>
#include <analyses/variable-sensitivity/constant_abstract_value.h>
#include <analyses/variable-sensitivity/two_value_array_abstract_object.h>
#include <analyses/variable-sensitivity/two_value_pointer_abstract_object.h>
#include <analyses/variable-sensitivity/two_value_struct_abstract_object.h>
#include <analyses/variable-sensitivity/variable_sensitivity_object_factory.h>
#include <util/pointer_expr.h>
#include <util/simplify_expr.h>
#include <algorithm>
#include <functional>
#include <map>
#include <ostream>
#include <stack>
Go to the source code of this file.
Functions | |
std::vector< abstract_object_pointert > | eval_operands (const exprt &expr, const abstract_environmentt &env, const namespacet &ns) |
static std::size_t | count_globals (const namespacet &ns) |
|
static |
Definition at line 438 of file abstract_environment.cpp.
std::vector< abstract_object_pointert > eval_operands | ( | const exprt & | expr, |
const abstract_environmentt & | env, | ||
const namespacet & | ns | ||
) |
Definition at line 468 of file abstract_environment.cpp.