10 #ifndef CPROVER_ANSI_C_C_QUALIFIERS_H 11 #define CPROVER_ANSI_C_C_QUALIFIERS_H 86 return !(*
this==other);
111 #endif // CPROVER_ANSI_C_C_QUALIFIERS_H
The type of an expression.
void read(const typet &src)
c_qualifierst & operator+=(const c_qualifierst &b)
void write(typet &src) const
bool is_transparent_union
bool operator==(const c_qualifierst &other) const
std::ostream & operator<<(std::ostream &, const c_qualifierst &)
pretty-print the qualifiers
std::string as_string() const
bool is_subset_of(const c_qualifierst &q) const
bool operator!=(const c_qualifierst &other) const
c_qualifierst(const typet &src)