CBMC
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: