LMCAS::DifferentiationVisitor类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/visitors/differentiation_visitor.hpp>

类 LMCAS::DifferentiationVisitor 继承关系图:

LMCAS::DifferentiationVisitor 的协作图:

Public 成员函数
	DifferentiationVisitor (const std::string &v, detail::RewriteBudget &budget)
	构造普通求导访问器。
std::shared_ptr< const SymbolicNode >	get_result () const
	获取求导结果。
void	visit (const AddNode &node) override
void	visit (const ComplexNode &node) override
void	visit (const FiniteSetNode &) override
void	visit (const FunctionNode &node) override
void	visit (const IntegralNode &node) override
void	visit (const IntervalNode &) override
void	visit (const LimitNode &) override
void	visit (const LogicalNode &) override
void	visit (const MatrixNode &node) override
void	visit (const MembershipNode &) override
void	visit (const MultiplyNode &node) override
void	visit (const NumberNode &) override
void	visit (const PiecewiseNode &node) override
void	visit (const PowerNode &node) override
void	visit (const ProductNode &) override
void	visit (const QuantifierNode &) override
void	visit (const QuantityNode &node) override
void	visit (const RelationalNode &) override
void	visit (const RootOfNode &) override
void	visit (const SetBuilderNode &) override
void	visit (const SummationNode &) override
void	visit (const TransformNode &) override
void	visit (const UninterpretedFunctionNode &) override
void	visit (const VariableNode &node) override

Public 属性
std::shared_ptr< const SymbolicNode >	result
	求导结果节点。

Protected 成员函数
RewriteBudget *	rewrite_budget () const noexcept

Protected 属性
int	current_depth = 0

静态 Protected 属性
static constexpr int	MAX_DEPTH = 200

Private 成员函数
void	append_result (std::vector< std::shared_ptr< const SymbolicNode > > &nodes, std::size_t &size, std::shared_ptr< const SymbolicNode > candidate)
void	differentiate_atan2 (const FunctionNode &node)
void	set_result (std::shared_ptr< const SymbolicNode > candidate)
void	unsupported (const char *node_type) const

Private 属性
RewriteBudget *	rewrite_budget_ = nullptr
std::string	var

详细描述

在文件 differentiation_visitor.hpp 第 12 行定义.

构造及析构函数说明

DifferentiationVisitor()

LMCAS::DifferentiationVisitor::DifferentiationVisitor ( const std::string & v, detail::RewriteBudget & budget )

inline

构造普通求导访问器。

参数

v

求导变量名

在文件 differentiation_visitor.hpp 第 29 行定义.

        : SymbolicVisitor(&budget), var(v), result(nullptr) {}

引用了 LMCAS::detail::SymbolicVisitor::SymbolicVisitor(), result, LMCAS::v , 以及 var.

函数调用图:

成员函数说明

append_result()

void LMCAS::DifferentiationVisitor::append_result ( std::vector< std::shared_ptr< const SymbolicNode > > & nodes, std::size_t & size, std::shared_ptr< const SymbolicNode > candidate )

inlineprivate

在文件 differentiation_visitor.hpp 第 70 行定义.

                                                                                     {
        size = rewrite_budget()->append_size(size, rewrite_budget()->measure(candidate));
        nodes.push_back(std::move(candidate));
    }

引用了 LMCAS::detail::RewriteBudget::append_size() , 以及 LMCAS::detail::SymbolicVisitor::rewrite_budget().

被这些函数引用 visit(), visit(), visit() , 以及 visit().

函数调用图:

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

differentiate_atan2()

void LMCAS::DifferentiationVisitor::differentiate_atan2 ( const FunctionNode & node )

private

在文件 differentiation_functions.cpp 第 264 行定义.

                                                                         {
    auto* budget = rewrite_budget();
    const auto& y = node.arguments()[0];
    const auto& x = node.arguments()[1];
    y->accept(*this);
    auto dy = result;
    x->accept(*this);
    auto dx = result;
    auto numerator = SymbolicFactory::create_add({
        SymbolicFactory::create_multiply({x, dy}, budget),
        SymbolicFactory::create_multiply({
            SymbolicFactory::create_number(BigInt(-1)), y, dx}, budget)
    }, budget);
    auto two = SymbolicFactory::create_number(BigInt(2));
    auto denominator = SymbolicFactory::create_add({
        LMCAS::detail::make_node<PowerNode>(x, two),
        LMCAS::detail::make_node<PowerNode>(y, two)
    }, budget);
    auto inverse = LMCAS::detail::make_node<PowerNode>(
        denominator, SymbolicFactory::create_number(BigInt(-1)));
    set_result(SymbolicFactory::create_multiply({numerator, inverse}, budget));
}

引用了 LMCAS::SymbolicFactory::create_add(), LMCAS::SymbolicFactory::create_multiply(), LMCAS::SymbolicFactory::create_number(), LMCAS::denominator, LMCAS::detail::make_node(), result, LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

被这些函数引用 visit().

函数调用图:

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

get_result()

std::shared_ptr< const SymbolicNode > LMCAS::DifferentiationVisitor::get_result ( ) const

inline

获取求导结果。

返回

求导后的 AST 节点

在文件 differentiation_visitor.hpp 第 37 行定义.

                                                         {
        return result;
    }

引用了 result.

被这些函数引用 LMCAS::detail::differentiate_node().

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

rewrite_budget()

RewriteBudget * LMCAS::detail::SymbolicVisitor::rewrite_budget ( ) const

inlineprotectednoexceptinherited

在文件 base.hpp 第 220 行定义.

{ return rewrite_budget_; }

引用了 rewrite_budget_.

被这些函数引用 LMCAS::ExpandVisitor::append_child(), LMCAS::DifferentiationVisitor::append_result(), LMCAS::ExpandVisitor::check_child_count(), LMCAS::NormalizationVisitor::collect_expanded_product(), LMCAS::NormalizationVisitor::collect_product(), LMCAS::NormalizationVisitor::collect_sum(), LMCAS::DifferentiationVisitor::differentiate_atan2(), LMCAS::NormalizationVisitor::distribute_power(), LMCAS::NormalizationVisitor::distribute_product(), LMCAS::NormalizationVisitor::expand_complex_product(), LMCAS::NormalizationVisitor::expand_product(), LMCAS::NormalizationVisitor::extract_term_coefficient(), LMCAS::NormalizationVisitor::finish_squared_norm(), LMCAS::NormalizationVisitor::fuse_matrix_product(), LMCAS::NormalizationVisitor::matrix_product_element(), LMCAS::NormalizationVisitor::merge_complex_terms(), LMCAS::NormalizationVisitor::normalize_bound_body(), LMCAS::NormalizationVisitor::normalize_function_parity(), LMCAS::NormalizationVisitor::normalize_logarithm(), LMCAS::NormalizationVisitor::normalize_matrix_product(), LMCAS::NormalizationVisitor::normalize_matrix_sum(), LMCAS::NormalizationVisitor::normalize_natural_logarithm(), LMCAS::NormalizationVisitor::normalize_nested_imaginary_power(), LMCAS::NormalizationVisitor::normalize_nested_power(), LMCAS::NormalizationVisitor::normalize_power_identity(), LMCAS::NormalizationVisitor::normalize_unary_function(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::rewrite_scoped(), LMCAS::NormalizationVisitor::scale_matrix(), LMCAS::DifferentiationVisitor::set_result(), LMCAS::ExpandVisitor::set_result(), LMCAS::ExpandVisitor::set_result(), LMCAS::NormalizationVisitor::set_result(), LMCAS::NormalizationVisitor::simplify_assumed_absolute(), LMCAS::NormalizationVisitor::simplify_assumed_square_root(), LMCAS::NormalizationVisitor::try_normalize_squared_norm(), LMCAS::groebner_detail::PolyBuilder::use_numeric_function(), LMCAS::detail::SymbolicRewriter::visit(), LMCAS::detail::SymbolicRewriter::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::DifferentiationVisitor::visit(), LMCAS::ExpandVisitor::visit(), LMCAS::ExpandVisitor::visit(), LMCAS::ExpandVisitor::visit(), LMCAS::ExpandVisitor::visit(), LMCAS::ExpandVisitor::visit(), LMCAS::groebner_detail::PolyBuilder::visit(), LMCAS::groebner_detail::PolyBuilder::visit(), LMCAS::groebner_detail::PolyBuilder::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit(), LMCAS::NormalizationVisitor::visit() , 以及 LMCAS::NormalizationVisitor::visit().

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

set_result()

void LMCAS::DifferentiationVisitor::set_result ( std::shared_ptr< const SymbolicNode > candidate )

inlineprivate

在文件 differentiation_visitor.hpp 第 66 行定义.

                                                                 {
        rewrite_budget()->measure_result(candidate);
        result = std::move(candidate);
    }

引用了 LMCAS::detail::RewriteBudget::measure_result(), result , 以及 LMCAS::detail::SymbolicVisitor::rewrite_budget().

被这些函数引用 differentiate_atan2(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

函数调用图:

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

unsupported()

void LMCAS::DifferentiationVisitor::unsupported ( const char * node_type ) const

inlineprivate

在文件 differentiation_visitor.hpp 第 15 行定义.

                                                               {
        throw CasError{CasErrc::UnsupportedExpression, std::string(node_type) +
            " differentiation is outside the current supported domain",
            "LMCAS.differentiate"};
    }

引用了 LMCAS::UnsupportedExpression.

被这些函数引用 visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

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

visit() [1/24]

void LMCAS::DifferentiationVisitor::visit ( const AddNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

                                                      {
    std::vector<std::shared_ptr<const SymbolicNode>> diff_ops;
    std::size_t size = 1;
    rewrite_budget()->append_size(size, node.operands().size());
    diff_ops.reserve(node.operands().size());
    for (const auto& op : node.operands()) {
        op->accept(*this);
        append_result(diff_ops, size, result);
    }
    set_result(SymbolicFactory::create_add(std::move(diff_ops), rewrite_budget()));
}

引用了 append_result(), LMCAS::detail::RewriteBudget::append_size(), LMCAS::SymbolicFactory::create_add(), LMCAS::op, result, LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [2/24]

void LMCAS::DifferentiationVisitor::visit ( const ComplexNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 45 行定义.

                                                          {
    node.real()->accept(*this);
    auto dr = result;
    node.imag()->accept(*this);
    auto di = result;
    set_result(SymbolicFactory::create_complex(dr, di));
}

引用了 LMCAS::SymbolicFactory::create_complex(), result , 以及 set_result().

函数调用图:

visit() [3/24]

void LMCAS::DifferentiationVisitor::visit ( const FiniteSetNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 100 行定义.

{ unsupported("FiniteSetNode"); }

引用了 unsupported().

函数调用图:

visit() [4/24]

void LMCAS::DifferentiationVisitor::visit ( const FunctionNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_functions.cpp 第 287 行定义.

                                                           {
    auto* budget = rewrite_budget();
    if (node.type() == FunctionNode::FuncType::Atan2 && node.arguments().size() == 2) {
        differentiate_atan2(node);
        return;
    }
    if (node.type() == FunctionNode::FuncType::Log && node.arguments().size() == 2) {
        const auto& arg = node.arguments()[0];
        if (!valid_log_base(node.arguments()[1])) {
            unsupported("FunctionNode");
        }
        arg->accept(*this);
        auto d_arg = result;
        if (d_arg->is_zero()) return;
        auto inverse = logarithmic_outer(node, budget);
        set_result(SymbolicFactory::create_multiply({std::move(d_arg), inverse}, budget));
        return;
    }
    if (node.arguments().size() != 1) unsupported("FunctionNode");
    node.arguments()[0]->accept(*this);
    auto d_arg = result;
    if (d_arg->is_zero()) {
        return;
    }
 
    auto d_outer = trigonometric_outer(node, budget);
    if (!d_outer) d_outer = inverse_trigonometric_outer(node, budget);
    if (!d_outer) d_outer = hyperbolic_outer(node, budget);
    if (!d_outer) d_outer = elementary_outer(node, budget);
    if (!d_outer) d_outer = special_outer(node, budget);
    if (!d_outer) unsupported("FunctionNode");
    set_result(SymbolicFactory::create_multiply({std::move(d_outer), std::move(d_arg)}, budget));
}

引用了 LMCAS::FunctionNode::Atan2, LMCAS::SymbolicFactory::create_multiply(), differentiate_atan2(), LMCAS::FunctionNode::Log, result, LMCAS::detail::SymbolicVisitor::rewrite_budget(), set_result() , 以及 unsupported().

函数调用图:

visit() [5/24]

void LMCAS::DifferentiationVisitor::visit ( const IntegralNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 109 行定义.

                                                           {
    if (!node.is_definite()) {
        if (node.variable() == var) {
            set_result(node.body());
            return;
        }
        node.body()->accept(*this);
        set_result(LMCAS::detail::make_node<IntegralNode>(
            result, node.variable()));
        return;
    }
 
    std::vector<std::shared_ptr<const SymbolicNode>> terms;
    std::size_t size = 1;
    if (node.variable() != var) {
        node.body()->accept(*this);
        if (!result->is_zero()) {
            append_result(terms, size, LMCAS::detail::make_node<IntegralNode>(
                result, node.variable(), node.lower(), node.upper()));
        }
    }
 
    node.upper()->accept(*this);
    auto upper_derivative = result;
    if (!upper_derivative->is_zero()) {
        auto at_upper = detail::substitute_node(
            node.body(), node.variable(), node.upper(), *rewrite_budget());
        append_result(terms, size, SymbolicFactory::create_multiply(
            {at_upper, upper_derivative}, rewrite_budget()));
    }
 
    node.lower()->accept(*this);
    auto lower_derivative = result;
    if (!lower_derivative->is_zero()) {
        auto at_lower = detail::substitute_node(
            node.body(), node.variable(), node.lower(), *rewrite_budget());
        append_result(terms, size, SymbolicFactory::create_multiply({
            SymbolicFactory::create_number(BigInt(-1)), at_lower,
            lower_derivative}, rewrite_budget()));
    }
    set_result(SymbolicFactory::create_add(std::move(terms), rewrite_budget()));
}

引用了 append_result(), LMCAS::SymbolicFactory::create_add(), LMCAS::SymbolicFactory::create_multiply(), LMCAS::SymbolicFactory::create_number(), LMCAS::detail::make_node(), result, LMCAS::detail::SymbolicVisitor::rewrite_budget(), set_result(), LMCAS::detail::substitute_node() , 以及 var.

函数调用图:

visit() [6/24]

void LMCAS::DifferentiationVisitor::visit ( const IntervalNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 101 行定义.

{ unsupported("IntervalNode"); }

引用了 unsupported().

函数调用图:

visit() [7/24]

void LMCAS::DifferentiationVisitor::visit ( const LimitNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 151 行定义.

{ unsupported("LimitNode"); }

引用了 unsupported().

函数调用图:

visit() [8/24]

void LMCAS::DifferentiationVisitor::visit ( const LogicalNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 41 行定义.

                                                     {
    unsupported("LogicalNode");
}

引用了 unsupported().

函数调用图:

visit() [9/24]

void LMCAS::DifferentiationVisitor::visit ( const MatrixNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 6 行定义.

                                                         {
    std::size_t size = 1;
 
    if (std::holds_alternative<MatrixNode::DenseStorage>(node.storage())) {
         const auto& dense = std::get<MatrixNode::DenseStorage>(node.storage());
         MatrixNode::DenseStorage new_dense;
         rewrite_budget()->append_size(size, dense.size());
         new_dense.reserve(dense.size());
         for(const auto& item : dense) {
             if (item) {
                item->accept(*this);
                append_result(new_dense, size, result);
             } else {
                new_dense.push_back(nullptr);
             }
         }
         set_result(LMCAS::detail::make_node<MatrixNode>(node.rows(), node.cols(), new_dense));
    } else {
         const auto& sparse = std::get<MatrixNode::SparseStorage>(node.storage());
         MatrixNode::SparseStorage new_sparse;
         for(const auto& [idx, item] : sparse) {
             item->accept(*this);
             if (!result->is_zero()) {
                 size = rewrite_budget()->append_size(size, rewrite_budget()->measure(result));
                 new_sparse[idx] = result;
             }
         }
         set_result(LMCAS::detail::make_node<MatrixNode>(node.rows(), node.cols(), new_sparse));
    }
}

引用了 append_result(), LMCAS::detail::RewriteBudget::append_size(), LMCAS::detail::make_node(), result, LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [10/24]

void LMCAS::DifferentiationVisitor::visit ( const MembershipNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 102 行定义.

{ unsupported("MembershipNode"); }

引用了 unsupported().

函数调用图:

visit() [11/24]

void LMCAS::DifferentiationVisitor::visit ( const MultiplyNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_arithmetic.cpp 第 29 行定义.

                                                           {
    if (node.operands().empty()) {
         set_result(SymbolicFactory::create_number(BigInt(0)));
         return;
    }
 
    std::vector<std::shared_ptr<const SymbolicNode>> sum_terms;
    std::size_t sum_size = 1;
 
    for (size_t i = 0; i < node.operands().size(); ++i) {
        rewrite_budget()->consume();
 
        node.operands()[i]->accept(*this);
        auto d_term = result;
 
        if (d_term->is_zero()) continue;
 
        std::vector<std::shared_ptr<const SymbolicNode>> prod_terms;
        std::size_t product_size = 1;
        rewrite_budget()->append_size(product_size, node.operands().size());
        prod_terms.reserve(node.operands().size());
 
        for (size_t j = 0; j < node.operands().size(); ++j) {
            rewrite_budget()->consume();
            append_result(prod_terms, product_size,
                          i == j ? d_term : node.operands()[j]);
        }
        append_result(sum_terms, sum_size,
                      SymbolicFactory::create_multiply(std::move(prod_terms), rewrite_budget()));
    }
 
    if (sum_terms.empty()) {
         set_result(SymbolicFactory::create_number(BigInt(0)));
    } else {
         set_result(SymbolicFactory::create_add(std::move(sum_terms), rewrite_budget()));
    }
}

引用了 append_result(), LMCAS::detail::RewriteBudget::append_size(), LMCAS::detail::RewriteBudget::consume(), LMCAS::SymbolicFactory::create_add(), LMCAS::SymbolicFactory::create_multiply(), LMCAS::SymbolicFactory::create_number(), result, LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [12/24]

void LMCAS::DifferentiationVisitor::visit ( const NumberNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_arithmetic.cpp 第 5 行定义.

                                                    {
    set_result(SymbolicFactory::create_number(BigInt(0)));
}

引用了 LMCAS::SymbolicFactory::create_number() , 以及 set_result().

函数调用图:

visit() [13/24]

void LMCAS::DifferentiationVisitor::visit ( const PiecewiseNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 53 行定义.

                                                            {
    std::vector<PiecewiseNode::Branch> new_branches;
    std::size_t size = 1;
    auto minimum = rewrite_budget()->append_size(size, node.branches().size());
    rewrite_budget()->append_size(minimum, node.branches().size());
    new_branches.reserve(node.branches().size());
    for (const auto& br : node.branches()) {
        PiecewiseNode::Branch new_br;
        br.expression->accept(*this);
        new_br.expression = result;
        new_br.condition = br.condition;
        size = rewrite_budget()->append_size(size, rewrite_budget()->measure(new_br.expression));
        size = rewrite_budget()->append_size(size, rewrite_budget()->measure(new_br.condition));
        new_branches.push_back(new_br);
    }
    std::shared_ptr<const SymbolicNode> new_def = nullptr;
    if (node.default_expr()) {
        node.default_expr()->accept(*this);
        new_def = result;
        rewrite_budget()->append_size(size, rewrite_budget()->measure(new_def));
    }
    set_result(LMCAS::detail::make_node<PiecewiseNode>(std::move(new_branches), new_def));
}

引用了 LMCAS::detail::RewriteBudget::append_size(), LMCAS::PiecewiseNode::Branch::condition, LMCAS::PiecewiseNode::Branch::expression, LMCAS::detail::make_node(), result, LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [14/24]

void LMCAS::DifferentiationVisitor::visit ( const PowerNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_arithmetic.cpp 第 67 行定义.

                                                        {
 
    node.base()->accept(*this);
    auto du = result;
    node.exponent()->accept(*this);
    auto dv = result;
 
    auto u = node.base();
    auto v = node.exponent();
 
    if (dv->is_zero()) {
 
        auto n = v;
 
        auto n_minus_1 = SymbolicFactory::create_add(
            {n, SymbolicFactory::create_number(BigInt(-1))}, rewrite_budget());
 
        auto u_pow = LMCAS::detail::make_node<PowerNode>(u, n_minus_1);
 
        set_result(SymbolicFactory::create_multiply({n, u_pow, du}, rewrite_budget()));
    } else {
 
        auto ln_u = LMCAS::detail::make_node<FunctionNode>(FunctionNode::FuncType::Ln, std::vector<std::shared_ptr<const SymbolicNode>>{u});
 
        auto t1 = SymbolicFactory::create_multiply({dv, ln_u}, rewrite_budget());
 
        auto u_inv = LMCAS::detail::make_node<PowerNode>(u, SymbolicFactory::create_number(BigInt(-1)));
        auto t2 = SymbolicFactory::create_multiply({v, du, u_inv}, rewrite_budget());
 
        auto sum = SymbolicFactory::create_add({t1, t2}, rewrite_budget());
 
        auto u_pow_v = LMCAS::detail::make_node<PowerNode>(u, v);
        set_result(SymbolicFactory::create_multiply({u_pow_v, sum}, rewrite_budget()));
    }
}

引用了 LMCAS::SymbolicFactory::create_add(), LMCAS::SymbolicFactory::create_multiply(), LMCAS::SymbolicFactory::create_number(), LMCAS::FunctionNode::Ln, LMCAS::detail::make_node(), result, LMCAS::detail::SymbolicVisitor::rewrite_budget(), set_result(), LMCAS::u , 以及 LMCAS::v.

函数调用图:

visit() [15/24]

void LMCAS::DifferentiationVisitor::visit ( const ProductNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 85 行定义.

                                                     {
    unsupported("ProductNode");
}

引用了 unsupported().

函数调用图:

visit() [16/24]

void LMCAS::DifferentiationVisitor::visit ( const QuantifierNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 93 行定义.

                                                        {
    unsupported("QuantifierNode");
}

引用了 unsupported().

函数调用图:

visit() [17/24]

void LMCAS::DifferentiationVisitor::visit ( const QuantityNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 103 行定义.

                                                           {
    node.value()->accept(*this);
    set_result(LMCAS::detail::make_node<QuantityNode>(
        result, node.dimension(), node.scale_to_base(), node.display_unit()));
}

引用了 LMCAS::detail::make_node(), result , 以及 set_result().

函数调用图:

visit() [18/24]

void LMCAS::DifferentiationVisitor::visit ( const RelationalNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 37 行定义.

                                                        {
    unsupported("RelationalNode");
}

引用了 unsupported().

函数调用图:

visit() [19/24]

void LMCAS::DifferentiationVisitor::visit ( const RootOfNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 152 行定义.

{ unsupported("RootOfNode"); }

引用了 unsupported().

函数调用图:

visit() [20/24]

void LMCAS::DifferentiationVisitor::visit ( const SetBuilderNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 97 行定义.

                                                        {
    unsupported("SetBuilderNode");
}

引用了 unsupported().

函数调用图:

visit() [21/24]

void LMCAS::DifferentiationVisitor::visit ( const SummationNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 81 行定义.

                                                       {
    unsupported("SummationNode");
}

引用了 unsupported().

函数调用图:

visit() [22/24]

void LMCAS::DifferentiationVisitor::visit ( const TransformNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 89 行定义.

                                                       {
    unsupported("TransformNode");
}

引用了 unsupported().

函数调用图:

visit() [23/24]

void LMCAS::DifferentiationVisitor::visit ( const UninterpretedFunctionNode & )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_structural.cpp 第 77 行定义.

                                                                   {
    unsupported("UninterpretedFunctionNode");
}

引用了 unsupported().

函数调用图:

visit() [24/24]

void LMCAS::DifferentiationVisitor::visit ( const VariableNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 differentiation_arithmetic.cpp 第 9 行定义.

                                                           {
    if (!node.is_constant() && node.name() == var) {
        set_result(SymbolicFactory::create_number(BigInt(1)));
    } else {
        set_result(SymbolicFactory::create_number(BigInt(0)));
    }
}

引用了 LMCAS::SymbolicFactory::create_number(), set_result() , 以及 var.

函数调用图:

类成员变量说明

current_depth

int LMCAS::detail::SymbolicVisitor::current_depth = 0

protectedinherited

在文件 base.hpp 第 218 行定义.

被这些函数引用 LMCAS::detail::SymbolicVisitor::DepthGuard::DepthGuard() , 以及 LMCAS::detail::SymbolicVisitor::DepthGuard::~DepthGuard().

MAX_DEPTH

int LMCAS::detail::SymbolicVisitor::MAX_DEPTH = 200

staticconstexprprotectedinherited

在文件 base.hpp 第 219 行定义.

被这些函数引用 LMCAS::detail::SymbolicVisitor::DepthGuard::DepthGuard().

result

std::shared_ptr<const SymbolicNode> LMCAS::DifferentiationVisitor::result

求导结果节点。

在文件 differentiation_visitor.hpp 第 22 行定义.

被这些函数引用 DifferentiationVisitor(), differentiate_atan2(), get_result(), set_result(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

rewrite_budget_

RewriteBudget* LMCAS::detail::SymbolicVisitor::rewrite_budget_ = nullptr

privateinherited

在文件 base.hpp 第 223 行定义.

被这些函数引用 LMCAS::detail::SymbolicVisitor::DepthGuard::DepthGuard(), SymbolicVisitor(), LMCAS::detail::SymbolicVisitor::DepthGuard::~DepthGuard() , 以及 rewrite_budget().

var

std::string LMCAS::DifferentiationVisitor::var

private

在文件 differentiation_visitor.hpp 第 13 行定义.

被这些函数引用 DifferentiationVisitor(), visit() , 以及 visit().

---

该类的文档由以下文件生成:

• src/internal/visitors/differentiation_visitor.hpp
• src/differentiation_arithmetic.cpp
• src/differentiation_functions.cpp
• src/differentiation_structural.cpp