CBMC: Member List

add_to_stack(std::shared_ptr< write_stack_entryt > entry_pointer, const abstract_environmentt environment, const namespacet &ns) write_stackt private

construct_stack_to_array_index(const index_exprt &expr, const abstract_environmentt &environment, const namespacet &ns) write_stackt private

construct_stack_to_lvalue(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) write_stackt private

construct_stack_to_pointer(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) write_stackt private

continuation_stack_storet typedef write_stackt

depth() const write_stackt

get_which_side_integral(const exprt &expr, exprt &out_base_expr, exprt &out_integral_expr) write_stackt privatestatic

integral_resultt enum name write_stackt private

is_top_value() const write_stackt

offset_expression() const write_stackt

stack write_stackt private

target_expression(size_t depth) const write_stackt

to_expression() const write_stackt

top_stack write_stackt private

write_stackt() write_stackt

write_stackt(const exprt &expr, const abstract_environmentt &environment, const namespacet &ns) write_stackt