10 #ifndef CPROVER_MEMORY_MODELS_MM2CPP_H 11 #define CPROVER_MEMORY_MODELS_MM2CPP_H 20 #endif // CPROVER_MEMORY_MODELS_MM2CPP_H Base class for tree-like data structures with sharing.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
void mm2cpp(const irep_idt &, const irept &, std::ostream &)