是的，用来导出状态迁移图