CBMC
c_qualifierst Member List

This is the complete list of members for c_qualifierst, including all inherited members.

as_string() const overridec_qualifierstvirtual
c_qualifierst()c_qualifierstinline
c_qualifierst(const typet &src)c_qualifierstinlineexplicit
clear() overridec_qualifierstinlinevirtual
clear(typet &dest)c_qualifierststatic
clone() const overridec_qualifierstvirtual
count() const overridec_qualifierstinlinevirtual
is_atomicc_qualifierst
is_constantc_qualifierst
is_nodiscardc_qualifierst
is_noreturnc_qualifierst
is_ptr32c_qualifierst
is_ptr64c_qualifierst
is_restrictedc_qualifierst
is_subset_of(const qualifierst &other) const overridec_qualifierstinlinevirtual
is_transparent_unionc_qualifierst
is_volatilec_qualifierst
operator!=(const qualifierst &other) constqualifierstinline
operator+=(const qualifierst &other) overridec_qualifierstinlinevirtual
operator=(const c_qualifierst &other)c_qualifierstprotected
qualifierst::operator=(const qualifierst &)=deletequalifierst
qualifierst::operator=(qualifierst &&)=deletequalifierst
operator==(const qualifierst &other) const overridec_qualifierstinlinevirtual
qualifierst()=defaultqualifierstprotected
qualifierst(const qualifierst &)=deletequalifierst
qualifierst(qualifierst &&)=deletequalifierst
read(const typet &src) overridec_qualifierstvirtual
write(typet &src) const overridec_qualifierstvirtual
~qualifierst()=defaultqualifierstvirtual