boundst Struct Reference

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

Detailed Description

Definition at line 31 of file byte_operators.cpp.

Member Data Documentation

lb

std::size_t boundst::lb

Definition at line 33 of file byte_operators.cpp.

ub

std::size_t boundst::ub

Definition at line 34 of file byte_operators.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/lowering/byte_operators.cpp