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

Constructor & Destructor Documentation

§ vectorst()

custom_bitvector_domaint::vectorst::vectorst ( )
inline

Definition at line 68 of file custom_bitvector_analysis.h.

Member Data Documentation

§ may_bits

§ must_bits


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