Concept definition

template<class State>
concept uni20::TensorAccessState =  std::move_constructible<State> && std::is_nothrow_move_constructible_v<State> &&
                            requires(State& state) {
  { state.release() } noexcept;
}

Detailed Description

Movable state retaining one acquired tensor data-handle lifetime.

release() must be idempotent: its first call ends active access, and later calls have no effect. Moving an active state transfers that responsibility and leaves the source inactive, so releasing or destroying the moved-from state has no effect. Move construction must not throw because leases transfer this state together with the resolved mdspan that depends on it.

Template Parameters

State Access-state type under test.