-State& UdporChecker::get_state_referenced_by(const UnfoldingEvent& event)
-{
- const auto state_id = event.get_state_id();
- const auto wrapped_state = this->state_manager_.get_state(state_id);
- xbt_assert(wrapped_state != std::nullopt,
- "\n\n****** INVARIANT VIOLATION ******\n"
- "To each UDPOR event corresponds a state, but state %lu does not exist. "
- "Please report this as a bug.\n"
- "*********************************\n\n",
- state_id);
- return wrapped_state.value().get();
-}
-
-StateHandle UdporChecker::observe_unfolding_event(const UnfoldingEvent& event)