boundst Struct Reference

Public Attributes
std::size_t	lb
std::size_t	ub

Detailed Description

Definition at line 29 of file lower_byte_operators.cpp.

Member Data Documentation

lb

std::size_t boundst::lb

Definition at line 31 of file lower_byte_operators.cpp.

ub

std::size_t boundst::ub

Definition at line 32 of file lower_byte_operators.cpp.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/lower_byte_operators.cpp