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