LMCAS::anonymous_namespace{interval_normalization.cpp} 命名空间参考

函数
Result< std::vector< CheckedInterval > >	collect_nonempty_intervals (std::vector< Interval > intervals, ComputationContext &context)
Result< std::vector< Interval > >	merge_checked_intervals (std::vector< CheckedInterval > checked, ComputationContext &context)
Result< void >	sort_checked_intervals (std::vector< CheckedInterval > &checked, ComputationContext &context)

变量
constexpr const char *	kCheckedIntervalOperation = "normalize_intervals"

函数说明

collect_nonempty_intervals()

Result< std::vector< CheckedInterval > > LMCAS::anonymous_namespace{interval_normalization.cpp}::collect_nonempty_intervals	(	std::vector< Interval >	intervals,
		ComputationContext &	context )

在文件 interval_normalization.cpp 第 13 行定义.

                                                                {
    std::vector<CheckedInterval> checked;
    checked.reserve(intervals.size());
    for (auto& interval : intervals) {
        auto lower = comparable_endpoint(
            interval.lower, context, kCheckedIntervalOperation);
        if (!lower) return Result<std::vector<CheckedInterval>>::failure(lower.error());
        auto upper = comparable_endpoint(
            interval.upper, context, kCheckedIntervalOperation);
        if (!upper) return Result<std::vector<CheckedInterval>>::failure(upper.error());
        auto comparison =
            compare_comparable(lower.value(), upper.value(), context);
        if (!comparison) {
            return Result<std::vector<CheckedInterval>>::failure(comparison.error());
        }
        const bool empty = comparison.value() > 0 ||
            (comparison.value() == 0 &&
             (interval.lower.is_open || interval.upper.is_open));
        if (!empty) {
            checked.push_back(CheckedInterval{
                std::move(interval), std::move(lower.value()), std::move(upper.value())});
        }
    }
    return Result<std::vector<CheckedInterval>>::success(std::move(checked));
}

引用了 collect_nonempty_intervals(), LMCAS::comparable_endpoint(), LMCAS::compare_comparable(), LMCAS::context, LMCAS::Result< T >::error(), LMCAS::interval(), kCheckedIntervalOperation, LMCAS::lower, LMCAS::upper , 以及 LMCAS::Result< T >::value().

被这些函数引用 collect_nonempty_intervals().

函数调用图:

这是这个函数的调用关系图:

merge_checked_intervals()

Result< std::vector< Interval > > LMCAS::anonymous_namespace{interval_normalization.cpp}::merge_checked_intervals	(	std::vector< CheckedInterval >	checked,
		ComputationContext &	context )

在文件 interval_normalization.cpp 第 62 行定义.

                                                                     {
    std::vector<CheckedInterval> merged;
    merged.reserve(checked.size());
    for (auto& next : checked) {
        if (merged.empty()) {
            merged.push_back(std::move(next));
            continue;
        }
 
        CheckedInterval& current = merged.back();
        auto boundary =
            compare_comparable(current.upper, next.lower, context);
        if (!boundary) {
            return Result<std::vector<Interval>>::failure(boundary.error());
        }
        const bool overlaps = boundary.value() > 0 ||
            (boundary.value() == 0 &&
             (!current.interval.upper.is_open || !next.interval.lower.is_open));
        if (!overlaps) {
            merged.push_back(std::move(next));
            continue;
        }
 
        auto upper_comparison =
            compare_comparable(current.upper, next.upper, context);
        if (!upper_comparison) {
            return Result<std::vector<Interval>>::failure(upper_comparison.error());
        }
        if (upper_comparison.value() < 0 ||
            (upper_comparison.value() == 0 && current.interval.upper.is_open &&
             !next.interval.upper.is_open)) {
            current.interval.upper = std::move(next.interval.upper);
            current.upper = std::move(next.upper);
        }
    }
 
    std::vector<Interval> result;
    result.reserve(merged.size());
    for (auto& interval : merged) {
        result.push_back(std::move(interval.interval));
    }
    return Result<std::vector<Interval>>::success(std::move(result));
}

引用了 LMCAS::compare_comparable(), LMCAS::context, LMCAS::detail::CheckedInterval::interval, LMCAS::interval(), merge_checked_intervals() , 以及 LMCAS::detail::CheckedInterval::upper.

被这些函数引用 merge_checked_intervals().

函数调用图:

这是这个函数的调用关系图:

sort_checked_intervals()

Result< void > LMCAS::anonymous_namespace{interval_normalization.cpp}::sort_checked_intervals	(	std::vector< CheckedInterval > &	checked,
		ComputationContext &	context )

在文件 interval_normalization.cpp 第 40 行定义.

                                                                      {
    for (std::size_t i = 1; i < checked.size(); ++i) {
        std::size_t position = i;
        while (position > 0) {
            auto comparison = compare_comparable(
                checked[position - 1].lower, checked[position].lower, context);
            if (!comparison) {
                return Result<void>::failure(comparison.error());
            }
            const bool out_of_order = comparison.value() > 0 ||
                (comparison.value() == 0 &&
                 checked[position - 1].interval.lower.is_open &&
                 !checked[position].interval.lower.is_open);
            if (!out_of_order) break;
            std::swap(checked[position - 1], checked[position]);
            --position;
        }
    }
    return Result<void>::success();
}

引用了 LMCAS::compare_comparable(), LMCAS::context, LMCAS::Result< T >::failure(), LMCAS::interval(), LMCAS::lower, sort_checked_intervals() , 以及 LMCAS::Result< T >::success().

被这些函数引用 sort_checked_intervals().

函数调用图:

这是这个函数的调用关系图:

变量说明

kCheckedIntervalOperation

const char* LMCAS::anonymous_namespace{interval_normalization.cpp}::kCheckedIntervalOperation = "normalize_intervals"

constexpr

在文件 interval_normalization.cpp 第 11 行定义.

被这些函数引用 collect_nonempty_intervals().