CBMC
local_bitvector_analysist::flagst Member List

This is the complete list of members for local_bitvector_analysist::flagst, including all inherited members.

B_dynamic_heap enum valuelocal_bitvector_analysist::flagst
B_dynamic_local enum valuelocal_bitvector_analysist::flagst
B_integer_address enum valuelocal_bitvector_analysist::flagst
B_null enum valuelocal_bitvector_analysist::flagst
B_static_lifetime enum valuelocal_bitvector_analysist::flagst
B_uninitialized enum valuelocal_bitvector_analysist::flagst
B_unknown enum valuelocal_bitvector_analysist::flagst
B_uses_offset enum valuelocal_bitvector_analysist::flagst
bitslocal_bitvector_analysist::flagst
bitst enum namelocal_bitvector_analysist::flagst
clear()local_bitvector_analysist::flagstinline
flagst()local_bitvector_analysist::flagstinline
flagst(const bitst _bits)local_bitvector_analysist::flagstinlineexplicit
is_dynamic_heap() constlocal_bitvector_analysist::flagstinline
is_dynamic_local() constlocal_bitvector_analysist::flagstinline
is_integer_address() constlocal_bitvector_analysist::flagstinline
is_null() constlocal_bitvector_analysist::flagstinline
is_static_lifetime() constlocal_bitvector_analysist::flagstinline
is_uninitialized() constlocal_bitvector_analysist::flagstinline
is_unknown() constlocal_bitvector_analysist::flagstinline
is_uses_offset() constlocal_bitvector_analysist::flagstinline
merge(const flagst &other)local_bitvector_analysist::flagstinline
mk_dynamic_heap()local_bitvector_analysist::flagstinlinestatic
mk_dynamic_local()local_bitvector_analysist::flagstinlinestatic
mk_integer_address()local_bitvector_analysist::flagstinlinestatic
mk_null()local_bitvector_analysist::flagstinlinestatic
mk_static_lifetime()local_bitvector_analysist::flagstinlinestatic
mk_uninitialized()local_bitvector_analysist::flagstinlinestatic
mk_unknown()local_bitvector_analysist::flagstinlinestatic
mk_uses_offset()local_bitvector_analysist::flagstinlinestatic
operator|(const flagst other) constlocal_bitvector_analysist::flagstinline
print(std::ostream &) constlocal_bitvector_analysist::flagst