CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Protected Member Functions | List of all members
pointer_arithmetict Struct Reference

#include <pointer_arithmetic.h>

+ Collaboration diagram for pointer_arithmetict:

Public Member Functions

 

Public Attributes

 
 

Protected Member Functions

void  read (const exprt &src)
 
 
 

Detailed Description

Definition at line 15 of file pointer_arithmetic.h.

Constructor & Destructor Documentation

◆  pointer_arithmetict()

pointer_arithmetict::pointer_arithmetict ( const exprtsrc )
explicit

Definition at line 15 of file pointer_arithmetic.cpp.

Member Function Documentation

◆  add_to_offset()

void pointer_arithmetict::add_to_offset ( const exprtsrc )
protected

Definition at line 68 of file pointer_arithmetic.cpp.

◆  make_pointer()

void pointer_arithmetict::make_pointer ( const exprtsrc )
protected

Definition at line 81 of file pointer_arithmetic.cpp.

◆  read()

void pointer_arithmetict::read ( const exprtsrc )
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:

AltStyle によって変換されたページ (->オリジナル) /