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

函数
Result< Tribool >	compare_defined_values (const ExprPtr &left, const ExprPtr &right, const FactsQuery &facts, ComputationContext &context, Domain domain)
Result< bool >	pointwise_values_defined (const ExprPtr &left, const ExprPtr &right, const FactsQuery &facts, Domain domain, ComputationContext &context)

函数说明

compare_defined_values()

Result< Tribool > LMCAS::anonymous_namespace{residual_comparison.cpp}::compare_defined_values	(	const ExprPtr &	left,
		const ExprPtr &	right,
		const FactsQuery &	facts,
		ComputationContext &	context,
		Domain	domain )

在文件 residual_comparison.cpp 第 80 行定义.

                                                    {
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    if (detail::node(left)->equals(*detail::node(right))) {
        return Tribool::True;
    }
    auto residual = detail::make_expression_ptr(detail::normalize_node(detail::node(SymbolicExpr::add(
        left,
        SymbolicExpr::multiply(SymbolicExpr::number(-1), right))), transform_budget));
    if (!residual) {
        return Result<Tribool>::failure(
            CasErrc::InternalInvariant,
            "value comparison produced no residual",
            "residual.compare_values");
    }
    auto nonzero = detail::query_nonzero_value(
        detail::node(residual), facts, domain, context);
    if (!nonzero) {
        return Result<Tribool>::failure(nonzero.error());
    }
    if (nonzero.value() == Tribool::True) {
        return Tribool::False;
    }
    if (nonzero.value() == Tribool::False) {
        return Tribool::True;
    }
    auto identity = check_equivalent(left, right, context);
    if (!identity) {
        return Result<Tribool>::failure(identity.error());
    }
    return std::holds_alternative<ProvedZeroResidual>(identity.value())
        ? Tribool::True : Tribool::Unknown;
} catch (const CasError& error) {
    return Result<Tribool>::failure(error);
} catch (const std::bad_alloc&) {
    return Result<Tribool>::failure(CasErrc::ResourceLimit, "allocation failed", "compare_defined_values");
} catch (const std::length_error& error) {
    return Result<Tribool>::failure(CasErrc::ResourceLimit, error.what(), "compare_defined_values");
} catch (const std::exception& error) {
    return Result<Tribool>::failure(CasErrc::InternalInvariant, error.what(), "compare_defined_values");
}

引用了 LMCAS::check_equivalent(), compare_defined_values(), LMCAS::context, LMCAS::domain, LMCAS::Result< T >::failure(), LMCAS::False, LMCAS::InternalInvariant, LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node(), LMCAS::detail::query_nonzero_value(), LMCAS::right, LMCAS::True , 以及 LMCAS::Unknown.

被这些函数引用 compare_defined_values().

函数调用图:

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

pointwise_values_defined()

Result< bool > LMCAS::anonymous_namespace{residual_comparison.cpp}::pointwise_values_defined	(	const ExprPtr &	left,
		const ExprPtr &	right,
		const FactsQuery &	facts,
		Domain	domain,
		ComputationContext &	context )

在文件 residual_comparison.cpp 第 63 行定义.

                                                {
    auto left_defined = detail::query_definedness(
        detail::node(left), facts, domain, context);
    if (!left_defined) {
        return Result<bool>::failure(left_defined.error());
    }
    auto right_defined = detail::query_definedness(
        detail::node(right), facts, domain, context);
    if (!right_defined) {
        return Result<bool>::failure(right_defined.error());
    }
    return left_defined.value() == Tribool::True &&
        right_defined.value() == Tribool::True;
}

引用了 LMCAS::context, LMCAS::domain, LMCAS::Result< T >::failure(), LMCAS::detail::node(), pointwise_values_defined(), LMCAS::detail::query_definedness(), LMCAS::right , 以及 LMCAS::True.

被这些函数引用 pointwise_values_defined().

函数调用图:

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