pointer_arithmetict Struct Reference

#include <pointer_arithmetic.h>

Collaboration diagram for pointer_arithmetict:

Public Member Functions
	pointer_arithmetict (const exprt &src)

Public Attributes
exprt	pointer
exprt	offset

Protected Member Functions
void	read (const exprt &src)
void	add_to_offset (const exprt &src)
void	make_pointer (const exprt &src)

Detailed Description

Definition at line 15 of file pointer_arithmetic.h.

Constructor & Destructor Documentation

pointer_arithmetict()

pointer_arithmetict::pointer_arithmetict ( const exprt &  src )

explicit

Definition at line 15 of file pointer_arithmetic.cpp.

Member Function Documentation

add_to_offset()

void pointer_arithmetict::add_to_offset ( const exprt &  src )

protected

Definition at line 68 of file pointer_arithmetic.cpp.

make_pointer()

void pointer_arithmetict::make_pointer ( const exprt &  src )

protected

Definition at line 81 of file pointer_arithmetic.cpp.

read()

void pointer_arithmetict::read ( const exprt &  src )

protected

Definition at line 22 of file pointer_arithmetic.cpp.

Member Data Documentation

offset

exprt pointer_arithmetict::offset

Definition at line 17 of file pointer_arithmetic.h.

pointer

exprt pointer_arithmetict::pointer

Definition at line 17 of file pointer_arithmetic.h.

---

The documentation for this struct was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/goto-programs/pointer_arithmetic.h
• /home/runner/work/cbmc/cbmc/src/goto-programs/pointer_arithmetic.cpp