cprover
full_array_abstract_object.cpp File Reference
+ Include dependency graph for full_array_abstract_object.cpp:

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)
 

Function Documentation

◆ apply_to_index_range()

template<typename index_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.

◆ eval_index()

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.