custom_bitvector_domaint::vectorst Struct Reference

#include <custom_bitvector_analysis.h>

Public Member Functions
	vectorst ()

Public Attributes
bit_vectort	may_bits
bit_vectort	must_bits

Detailed Description

Definition at line 75 of file custom_bitvector_analysis.h.

Constructor & Destructor Documentation

vectorst()

custom_bitvector_domaint::vectorst::vectorst ( )

inline

Definition at line 78 of file custom_bitvector_analysis.h.

Member Data Documentation

may_bits

bit_vectort custom_bitvector_domaint::vectorst::may_bits

Definition at line 77 of file custom_bitvector_analysis.h.

must_bits

bit_vectort custom_bitvector_domaint::vectorst::must_bits

Definition at line 77 of file custom_bitvector_analysis.h.

---

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

• /home/runner/work/cbmc/cbmc/src/analyses/custom_bitvector_analysis.h