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

类
class	BoundsPropagation

类型定义
using	RationalBounds = std::pair<Rational, Rational>

函数
Interval	closed_bounds (const Rational &lower, const Rational &upper)
Result< Interval >	unknown_bounds ()

变量
constexpr const char *	bounds_operation = "inference.bounds"

类型定义说明

RationalBounds

using LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::RationalBounds = std::pair<Rational, Rational>

在文件 inference_engine_bounds.cpp 第 15 行定义.

函数说明

closed_bounds()

Interval LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::closed_bounds	(	const Rational &	lower,
		const Rational &	upper )

在文件 inference_engine_bounds.cpp 第 22 行定义.

                                                                     {
    return Interval{Endpoint::closed(SymbolicExpr::number(lower)),
                    Endpoint::closed(SymbolicExpr::number(upper))};
}

引用了 closed_bounds(), LMCAS::lower , 以及 LMCAS::upper.

被这些函数引用 closed_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::function_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::multiply_intervals(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::power_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::product_bounds() , 以及 LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::sum_bounds().

函数调用图:

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

unknown_bounds()

Result< Interval > LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::unknown_bounds

(

)

在文件 inference_engine_bounds.cpp 第 17 行定义.

                                  {
    return Result<Interval>::failure(CasErrc::Inconclusive,
        "a finite real enclosure is not proven", bounds_operation);
}

引用了 bounds_operation, LMCAS::Result< T >::failure(), LMCAS::Inconclusive , 以及 unknown_bounds().

被这些函数引用 LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::function_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::multiply_intervals(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::power_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::propagate(), unknown_bounds() , 以及 LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::variable_bounds().

函数调用图:

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

变量说明

bounds_operation

const char* LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::bounds_operation = "inference.bounds"

constexpr

在文件 inference_engine_bounds.cpp 第 14 行定义.

被这些函数引用 LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arithmetic_budget(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::propagate(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_endpoint_bound(), unknown_bounds() , 以及 LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::variable_bounds().