fun::Integral Concept Reference

Integral concept. More...

#include <common_concepts.h>

Concept definition

template<typename Z>
concept fun::Integral =  OrderedRing<Z> && requires(Z a, Z pt_b) {
        { a % pt_b } -> STD_ALT::convertible_to<Z>;
        { a / pt_b } -> STD_ALT::convertible_to<Z>;
        { a %= pt_b } -> STD_ALT::same_as<Z&>;
        { a /= pt_b } -> STD_ALT::same_as<Z&>;
    }

Detailed Description

Integral concept.

An integral domain is an ordered ring with division operation.

Template Parameters

Z	An ordered ring type supporting division and modulo