10 #ifndef CPROVER_ANSI_C_C_STORAGE_SPEC_H 11 #define CPROVER_ANSI_C_C_STORAGE_SPEC_H 75 return !(*
this==other);
102 #endif // CPROVER_ANSI_C_C_STORAGE_SPEC_H
The type of an expression.
c_storage_spect & operator|=(const c_storage_spect &other)
c_storage_spect(const typet &type)
void read(const typet &type)
bool operator!=(const c_storage_spect &other) const
bool operator==(const c_storage_spect &other) const