DDC 0.17.0
Loading...
Searching...
No Matches
discrete_domain.cpp
1// Copyright (C) The DDC development team, see COPYRIGHT.md file
2//
3// SPDX-License-Identifier: MIT
4
5#include <ostream>
6#include <span>
7
10
11namespace ddc::detail {
12
13void print_discrete_domain(
14 std::ostream& os,
15 bool const empty,
16 std::span<DiscreteElementType const> const front,
17 std::span<DiscreteElementType const> const back)
18{
19 os << "DiscreteDomain(";
20 if (empty) {
21 os << "empty";
22 } else {
23 os << "front=";
24 print_discrete_element(os, front);
25 os << ", back=";
26 print_discrete_element(os, back);
27 }
28 os << ')';
29}
30
31} // namespace ddc::detail
The top-level namespace of DDC.