serif::solver::preconditioner::checks::Restrictable Concept Reference

A borrowed raw operator cannot satisfy factories which retain their numerical prerequisites. More...

Concept definition

template<typename Candidate>
concept serif::solver::preconditioner::checks::Restrictable =  requires(Candidate candidate, std::span<const int> indices)
    {
        backend::try_restrict_operator(candidate, indices, indices);
    }

Detailed Description

A borrowed raw operator cannot satisfy factories which retain their numerical prerequisites.