cprover
|
#include <custom_bitvector_analysis.h>
Public Member Functions | |
vectorst () | |
Public Attributes | |
bit_vectort | may_bits |
bit_vectort | must_bits |
Definition at line 79 of file custom_bitvector_analysis.h.
|
inline |
Definition at line 82 of file custom_bitvector_analysis.h.
bit_vectort custom_bitvector_domaint::vectorst::may_bits |
Definition at line 81 of file custom_bitvector_analysis.h.
Referenced by custom_bitvector_domaint::assign_lhs(), custom_bitvector_domaint::eval(), custom_bitvector_domaint::get_rhs(), and custom_bitvector_domaint::merge().
bit_vectort custom_bitvector_domaint::vectorst::must_bits |
Definition at line 81 of file custom_bitvector_analysis.h.
Referenced by custom_bitvector_domaint::assign_lhs(), custom_bitvector_domaint::eval(), custom_bitvector_domaint::get_rhs(), and custom_bitvector_domaint::merge().