- graph_state->system_state_ = new_state->system_state;
- XBT_DEBUG("Snapshot %p of visited state %d (exploration stack state %d)", new_state->system_state.get(),
- new_state->num, graph_state->num_);
+ graph_state->set_system_state(new_state->system_state);
+ XBT_DEBUG("Snapshot %p of visited state %ld (exploration stack state %ld)", new_state->system_state.get(),
+ new_state->num, graph_state->get_num());