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

函数
detail::SymbolicNodePtr	discardable_zero_factor (const std::vector< detail::SymbolicNodePtr > &operands, detail::RewriteBudget *budget)

函数说明

discardable_zero_factor()

detail::SymbolicNodePtr LMCAS::anonymous_namespace{symbolic_factory.cpp}::discardable_zero_factor	(	const std::vector< detail::SymbolicNodePtr > &	operands,
		detail::RewriteBudget *	budget )

在文件 symbolic_factory.cpp 第 64 行定义.

                                                                                   {
    const auto zero = std::find_if(operands.begin(), operands.end(), [](const auto& operand) {
        return operand->is_zero();
    });
    if (zero == operands.end()) { return nullptr; }
    std::optional<ComputationContext> local_context;
    if (!budget) { local_context.emplace(); }
    auto& context = budget ? budget->context() : *local_context;
    if (std::all_of(operands.begin(), operands.end(), [&](const auto& operand) {
            return normalization_can_discard(operand, detail::no_facts(), Domain::Real, context);
        })) {
        return *zero;
    }
    return nullptr;
}

引用了 LMCAS::context, LMCAS::detail::RewriteBudget::context() , 以及 discardable_zero_factor().

被这些函数引用 discardable_zero_factor().

函数调用图:

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