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

类型定义
using	BoundsCandidateResult = Result<std::optional<Interval>>

函数
BoundsCandidateResult	bounded_interval_candidate (const Interval &bounds, const std::optional< Interval > &existing, ComputationContext &context)
std::string	sign_str (Sign s)
bool	signs_conflict (Sign a, Sign b)

变量
constexpr Domain	domain_order []

类型定义说明

BoundsCandidateResult

using LMCAS::anonymous_namespace{property_store.cpp}::BoundsCandidateResult = Result<std::optional<Interval>>

在文件 property_store.cpp 第 346 行定义.

函数说明

bounded_interval_candidate()

BoundsCandidateResult LMCAS::anonymous_namespace{property_store.cpp}::bounded_interval_candidate	(	const Interval &	bounds,
		const std::optional< Interval > &	existing,
		ComputationContext &	context )

在文件 property_store.cpp 第 348 行定义.

                                 {
    constexpr const char* operation = "declare_bounded";
    auto incoming = IntervalUnion::from_intervals_checked(
        {bounds}, context);
    if (!incoming) {
        if (incoming.error().code != CasErrc::Inconclusive || existing) {
            return BoundsCandidateResult::failure(incoming.error());
        }
        return BoundsCandidateResult::success(bounds);
    }
    if (incoming.value().is_empty()) {
        return BoundsCandidateResult::failure(
            CasErrc::InvalidArgument,
            "bounded interval must not be empty", operation);
    }
 
    std::optional<Interval> candidate =
        incoming.value().intervals().front();
    if (!existing) {
        return BoundsCandidateResult::success(std::move(candidate));
    }
 
    auto current = IntervalUnion::from_intervals_checked(
        {*existing}, context);
    if (!current) {
        return BoundsCandidateResult::failure(current.error());
    }
    auto intersection = current.value().intersect_checked(
        incoming.value(), context);
    if (!intersection) {
        return BoundsCandidateResult::failure(intersection.error());
    }
    if (intersection.value().is_empty()) {
        return BoundsCandidateResult::failure(
            CasErrc::InvalidArgument,
            "bounded interval contradicts existing bounds", operation);
    }
    candidate = intersection.value().intervals().front();
    return BoundsCandidateResult::success(std::move(candidate));
}

引用了 bounded_interval_candidate(), LMCAS::context, LMCAS::Result< std::optional< Interval > >::failure(), LMCAS::Inconclusive, LMCAS::InvalidArgument , 以及 LMCAS::Result< std::optional< Interval > >::success().

被这些函数引用 bounded_interval_candidate().

函数调用图:

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

sign_str()

std::string LMCAS::anonymous_namespace{property_store.cpp}::sign_str

(

Sign

s

)

在文件 property_store.cpp 第 39 行定义.

                           {
    switch (s) {
        case Sign::Positive:    return "Positive";
        case Sign::Negative:    return "Negative";
        case Sign::NonNegative: return "NonNegative";
        case Sign::NonPositive: return "NonPositive";
        case Sign::Zero:        return "Zero";
        case Sign::NonZero:     return "NonZero";
    }
    return "Unknown";
}

引用了 LMCAS::Negative, LMCAS::NonNegative, LMCAS::NonPositive, LMCAS::NonZero, LMCAS::Positive, sign_str() , 以及 LMCAS::Zero.

被这些函数引用 sign_str().

函数调用图:

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

signs_conflict()

bool LMCAS::anonymous_namespace{property_store.cpp}::signs_conflict	(	Sign	a,
		Sign	b )

在文件 property_store.cpp 第 50 行定义.

                                    {
    struct Conflict {
        Sign incoming;
        std::initializer_list<Sign> existing;
    };
    const Conflict conflicts[] = {
        {Sign::Positive, {Sign::Negative, Sign::Zero, Sign::NonPositive}},
        {Sign::Negative, {Sign::Positive, Sign::Zero, Sign::NonNegative}},
        {Sign::NonNegative, {Sign::Negative}},
        {Sign::NonPositive, {Sign::Positive}},
        {Sign::Zero, {Sign::Positive, Sign::Negative, Sign::NonZero}},
        {Sign::NonZero, {Sign::Zero}}
    };
    for (const auto& conflict : conflicts) {
        if (conflict.incoming != a) {
            continue;
        }
        return std::find(conflict.existing.begin(), conflict.existing.end(), b)
            != conflict.existing.end();
    }
    return false;
}

引用了 LMCAS::a, LMCAS::b, LMCAS::Negative, LMCAS::NonNegative, LMCAS::NonPositive, LMCAS::NonZero, LMCAS::Positive, signs_conflict() , 以及 LMCAS::Zero.

被这些函数引用 signs_conflict().

函数调用图:

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

变量说明

domain_order

Domain LMCAS::anonymous_namespace{property_store.cpp}::domain_order[]

constexpr

初始值:

                              = {
    Domain::Complex, Domain::Real, Domain::Algebraic, Domain::Rational,
    Domain::Integer, Domain::Natural, Domain::PositiveInt
}

在文件 property_store.cpp 第 34 行定义.