cprover
constant_propagator.cpp File Reference

Constant Propagation. More...

Include dependency graph for constant_propagator.cpp:

Go to the source code of this file.

Functions

exprt concatenate_array_id (const exprt &array, const exprt &index, const typet &type)
 
exprt concatenate_array_id (const exprt &array, const mp_integer &index, const typet &type)
 

Detailed Description

Constant Propagation.

Definition in file constant_propagator.cpp.

Function Documentation

§ concatenate_array_id() [1/2]

§ concatenate_array_id() [2/2]

exprt concatenate_array_id ( const exprt array,
const mp_integer index,
const typet type 
)

Definition at line 41 of file constant_propagator.cpp.

References irept::get_string(), and integer2string().