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