User-provided Lipschitz boundary policy over a numeric species. More...

Concept definition

template<typename Policy, typename T>
concept dedekind::category::IsLipschitzBoundaryPolicy = 
    IsNumericSpecies<T> && requires(Policy p, T x) {
      { p(x) } -> std::same_as<Ternary>;
    }

Detailed Description

User-provided Lipschitz boundary policy over a numeric species.

The policy maps a machine value into Ω_K3:

True: inside certified support.
Unknown: outside support (or otherwise indeterminate).
False: explicit exclusion.