MemoryState with formatter.
See with_formatter().
Definition at line 191 of file MemoryState.h.
#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/MemoryState.h>