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