serif::solver::preconditioner::DisjointSubsystems Concept Reference

Require disjoint ownership on both sides rather than silently deduplicating physical coordinates. More...

#include <coupled.hpp>

Concept definition

template<typename First, typename Second>
concept serif::solver::preconditioner::DisjointSubsystems = 
        utils::dependencies::key_count_v<utils::dependencies::CombinedKeyList<typename First::Rows, typename Second::Rows>> ==
            utils::dependencies::key_count_v<typename First::Rows> + utils::dependencies::key_count_v<typename Second::Rows> &&
        utils::dependencies::key_count_v<utils::dependencies::CombinedKeyList<typename First::Values, typename Second::Values>> ==
            utils::dependencies::key_count_v<typename First::Values> + utils::dependencies::key_count_v<typename Second::Values>

Detailed Description

Require disjoint ownership on both sides rather than silently deduplicating physical coordinates.