cprover
byte_operators.cpp File Reference
#include "byte_operators.h"
#include <cassert>
#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()

§ byte_update_id()