#include <pointer_arithmetic.h>
Definition at line 15 of file pointer_arithmetic.h.
◆ pointer_arithmetict()
pointer_arithmetict::pointer_arithmetict |
( |
const exprt & |
src | ) |
|
|
explicit |
◆ add_to_offset()
void pointer_arithmetict::add_to_offset |
( |
const exprt & |
src | ) |
|
|
protected |
◆ make_pointer()
void pointer_arithmetict::make_pointer |
( |
const exprt & |
src | ) |
|
|
protected |
◆ read()
void pointer_arithmetict::read |
( |
const exprt & |
src | ) |
|
|
protected |
◆ offset
exprt pointer_arithmetict::offset |
◆ pointer
exprt pointer_arithmetict::pointer |
The documentation for this struct was generated from the following files: