cprover
|
#include <ostream>
#include <analyses/variable-sensitivity/abstract_environment.h>
#include <util/arith_tools.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include "full_array_abstract_object.h"
Go to the source code of this file.
Functions | |
bool | eval_index (const exprt &index, const abstract_environmentt &env, const namespacet &ns, mp_integer &out_index) |
template<typename index_fn > | |
abstract_object_pointert | apply_to_index_range (const abstract_environmentt &environment, const exprt &expr, const namespacet &ns, index_fn &fn) |
abstract_object_pointert apply_to_index_range | ( | const abstract_environmentt & | environment, |
const exprt & | expr, | ||
const namespacet & | ns, | ||
index_fn & | fn | ||
) |
Definition at line 24 of file full_array_abstract_object.cpp.
bool eval_index | ( | const exprt & | index, |
const abstract_environmentt & | env, | ||
const namespacet & | ns, | ||
mp_integer & | out_index | ||
) |
Definition at line 421 of file full_array_abstract_object.cpp.