cprover
|
Expression classes for byte-level operators. More...
Go to the source code of this file.
Classes | |
class | byte_extract_exprt |
TO_BE_DOCUMENTED. More... | |
class | byte_update_exprt |
TO_BE_DOCUMENTED. More... | |
Functions | |
const byte_extract_exprt & | to_byte_extract_expr (const exprt &expr) |
byte_extract_exprt & | to_byte_extract_expr (exprt &expr) |
irep_idt | byte_extract_id () |
irep_idt | byte_update_id () |
const byte_update_exprt & | to_byte_update_expr (const exprt &expr) |
byte_update_exprt & | to_byte_update_expr (exprt &expr) |
Expression classes for byte-level operators.
Definition in file byte_operators.h.
irep_idt byte_extract_id | ( | ) |
Definition at line 13 of file byte_operators.cpp.
irep_idt byte_update_id | ( | ) |
Definition at line 28 of file byte_operators.cpp.
|
inline |
Definition at line 53 of file byte_operators.h.
|
inline |
Definition at line 59 of file byte_operators.h.
|
inline |
Definition at line 91 of file byte_operators.h.
|
inline |
Definition at line 97 of file byte_operators.h.