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