dedekind::numbers::IsEscapeCriterion Concept Reference

Escape predicate: ComplexType → bool. More...

Concept definition

template<typename EscapeCriterion, typename ComplexType>
concept dedekind::numbers::IsEscapeCriterion = 
    std::copy_constructible<std::decay_t<EscapeCriterion>> &&
    std::invocable<const std::decay_t<EscapeCriterion>&, const ComplexType&> &&
    std::same_as<std::invoke_result_t<const std::decay_t<EscapeCriterion>&,
                                      const ComplexType&>,
                 bool>

Detailed Description

Escape predicate: ComplexType → bool.

Returns true when the orbit point has definitively left the bounded region. The Kleene lifting (bool → Ternary) is performed internally by the layer machinery; callers supply a classical Boolean criterion.