31 return std::move(other);
std::ostream & operator<<(std::ostream &out, const qualifierst &qualifiers)
pretty-print the qualifiers
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
virtual void clear() override
virtual std::string as_string() const override
virtual void write(typet &src) const override
bool is_transparent_union
virtual std::unique_ptr< qualifierst > clone() const override
virtual void read(const typet &src) override
c_qualifierst & operator=(const c_qualifierst &other)
bool get_bool(const irep_idt &name) const
The type of an expression, extends irept.
Defines typet, type_with_subtypet and type_with_subtypest.