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 83 of file custom_bitvector_analysis.h.

Constructor & Destructor Documentation

vectorst()

custom_bitvector_domaint::vectorst::vectorst ( )

inline

Definition at line 86 of file custom_bitvector_analysis.h.

Member Data Documentation

may_bits

bit_vectort custom_bitvector_domaint::vectorst::may_bits

Definition at line 85 of file custom_bitvector_analysis.h.

must_bits

bit_vectort custom_bitvector_domaint::vectorst::must_bits

Definition at line 85 of file custom_bitvector_analysis.h.

---

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

• analyses/custom_bitvector_analysis.h