10 #ifndef CPROVER_ANSI_C_C_STORAGE_SPEC_H 11 #define CPROVER_ANSI_C_C_STORAGE_SPEC_H 71 return !(*
this==other);
97 #endif // CPROVER_ANSI_C_C_STORAGE_SPEC_H
The type of an expression, extends irept.
c_storage_spect & operator|=(const c_storage_spect &other)
c_storage_spect(const typet &type)
void read(const typet &type)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
bool operator!=(const c_storage_spect &other) const
bool operator==(const c_storage_spect &other) const
Defines typet, type_with_subtypet and type_with_subtypest.