cprover
byte_operators.cpp File Reference
#include "byte_operators.h"
#include "config.h"
+ Include dependency graph for byte_operators.cpp:

Go to the source code of this file.

Functions

irep_idt byte_extract_id ()
 
irep_idt byte_update_id ()
 

Function Documentation

◆ byte_extract_id()

irep_idt byte_extract_id ( )

Definition at line 13 of file byte_operators.cpp.

◆ byte_update_id()

irep_idt byte_update_id ( )

Definition at line 30 of file byte_operators.cpp.