CBMC
|
This is the complete list of members for qualifierst, including all inherited members.
as_string() const =0 | qualifierst | pure virtual |
clear()=0 | qualifierst | pure virtual |
clone() const =0 | qualifierst | pure virtual |
count() const =0 | qualifierst | pure virtual |
is_subset_of(const qualifierst &q) const =0 | qualifierst | pure virtual |
operator!=(const qualifierst &other) const | qualifierst | inline |
operator+=(const qualifierst &b)=0 | qualifierst | pure virtual |
operator<<(std::ostream &, const qualifierst &) | qualifierst | friend |
operator=(const qualifierst &)=delete | qualifierst | |
operator=(qualifierst &&)=delete | qualifierst | |
operator==(const qualifierst &other) const =0 | qualifierst | pure virtual |
qualifierst()=default | qualifierst | protected |
qualifierst(const qualifierst &)=delete | qualifierst | |
qualifierst(qualifierst &&)=delete | qualifierst | |
read(const typet &src)=0 | qualifierst | pure virtual |
write(typet &src) const =0 | qualifierst | pure virtual |
~qualifierst()=default | qualifierst | virtual |