LMCAS::detail::SymbolicRewriter类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/symbolic_ast/traversal.hpp>

类 LMCAS::detail::SymbolicRewriter 继承关系图:

LMCAS::detail::SymbolicRewriter 的协作图:

Public 成员函数
SymbolicNodePtr	rewrite (const SymbolicNodePtr &node)
	SymbolicVisitor ()=default
	SymbolicVisitor (RewriteBudget *budget) noexcept
void	visit (const AddNode &node) override
void	visit (const ComplexNode &node) override
void	visit (const FiniteSetNode &node) override
void	visit (const FunctionNode &node) override
void	visit (const IntegralNode &node) override
void	visit (const IntervalNode &node) override
void	visit (const LimitNode &node) override
void	visit (const LogicalNode &node) override
void	visit (const MatrixNode &node) override
void	visit (const MembershipNode &node) 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 &node) override
void	visit (const QuantifierNode &node) override
void	visit (const QuantityNode &node) override
void	visit (const RelationalNode &node) override
void	visit (const RootOfNode &) override
void	visit (const SetBuilderNode &node) override
void	visit (const SummationNode &node) override
void	visit (const TransformNode &node) override
void	visit (const UninterpretedFunctionNode &node) override
void	visit (const VariableNode &) override

Protected 成员函数
SymbolicNodePtr	current () const noexcept
RewriteBudget *	rewrite_budget () const noexcept
SymbolicNodePtr	rewrite_child (const SymbolicNodePtr &child, bool &changed)
template<class Range>
std::vector< SymbolicNodePtr >	rewrite_children (const Range &children, bool &changed)
void	set_result (SymbolicNodePtr result)

Protected 属性
int	current_depth = 0

静态 Protected 属性
static constexpr int	MAX_DEPTH = 200

Private 属性
SymbolicNodePtr	current_
SymbolicNodePtr	result_
RewriteBudget *	rewrite_budget_ = nullptr

详细描述

在文件 traversal.hpp 第 165 行定义.

成员函数说明

current()

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::current ( ) const

inlineprotectednoexcept

在文件 traversal.hpp 第 183 行定义.

{ return current_; }

引用了 current_.

被这些函数引用 LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::specialize_absolute(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

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

rewrite()

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::rewrite ( const SymbolicNodePtr & node )

inline

在文件 traversal.hpp 第 168 行定义.

                                                         {
        if (!node) return nullptr;
        const auto previous_current = current_;
        const auto previous_result = result_;
        current_ = node;
        result_.reset();
        node->accept(*this);
        auto rewritten = result_;
        current_ = previous_current;
        result_ = previous_result;
        if (!rewritten) throw std::logic_error("SymbolicRewriter visit did not set a result");
        return rewritten;
    }

引用了 current_, LMCAS::detail::node() , 以及 result_.

被这些函数引用 LMCAS::anonymous_namespace{limit_result.cpp}::limit_one_sided_checked(), LMCAS::anonymous_namespace{residual_verification.cpp}::prove_piecewise_residual(), rewrite_child(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit() , 以及 LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit().

函数调用图:

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

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().

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

rewrite_child()

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::rewrite_child ( const SymbolicNodePtr & child, bool & changed )

inlineprotected

在文件 traversal.hpp 第 186 行定义.

                                                                               {
        auto rewritten = rewrite(child);
        changed = changed || rewritten != child;
        return rewritten;
    }

引用了 rewrite().

被这些函数引用 rewrite_children(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::rewrite_scoped(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

函数调用图:

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

rewrite_children()

template<class Range>

std::vector< SymbolicNodePtr > LMCAS::detail::SymbolicRewriter::rewrite_children ( const Range & children, bool & changed )

inlineprotected

在文件 traversal.hpp 第 193 行定义.

                                                                                      {
        std::vector<SymbolicNodePtr> rewritten;
        rewritten.reserve(children.size());
        for (const auto& child : children) {
            rewritten.push_back(rewrite_child(child, changed));
        }
        return rewritten;
    }

引用了 rewrite_child().

被这些函数引用 LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

函数调用图:

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

set_result()

void LMCAS::detail::SymbolicRewriter::set_result ( SymbolicNodePtr result )

inlineprotected

在文件 traversal.hpp 第 184 行定义.

{ result_ = std::move(result); }

引用了 result_.

被这些函数引用 LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::rewrite_absolute(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::specialize_absolute(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::visit(), LMCAS::anonymous_namespace{residual_verification.cpp}::ResidualBranch::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit() , 以及 visit().

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

SymbolicVisitor() [1/2]

LMCAS::detail::SymbolicVisitor::SymbolicVisitor ( )

default

SymbolicVisitor() [2/2]

LMCAS::detail::SymbolicVisitor::SymbolicVisitor ( RewriteBudget * budget )

inlineexplicitnoexcept

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

: rewrite_budget_(budget) {}

visit() [1/24]

void LMCAS::detail::SymbolicRewriter::visit ( const AddNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 205 行定义.

                                             {
        bool changed = false;
        auto operands = rewrite_children(node.operands(), changed);
        set_result(changed ? SymbolicFactory::create_add(std::move(operands), rewrite_budget()) : current());
    }

引用了 LMCAS::SymbolicFactory::create_add(), current(), LMCAS::detail::node(), LMCAS::detail::SymbolicVisitor::rewrite_budget(), rewrite_children() , 以及 set_result().

函数调用图:

visit() [2/24]

void LMCAS::detail::SymbolicRewriter::visit ( const ComplexNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 337 行定义.

                                                 {
        bool changed = false;
        auto real = rewrite_child(node.real(), changed);
        auto imag = rewrite_child(node.imag(), changed);
        set_result(changed ? SymbolicFactory::create_complex(real, imag) : current());
    }

引用了 LMCAS::SymbolicFactory::create_complex(), current(), LMCAS::imag, LMCAS::detail::node(), LMCAS::real(), rewrite_child() , 以及 set_result().

函数调用图:

visit() [3/24]

void LMCAS::detail::SymbolicRewriter::visit ( const FiniteSetNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 311 行定义.

                                                   {
        bool changed = false;
        auto elements = rewrite_children(node.elements(), changed);
        set_result(changed ? make_node<FiniteSetNode>(std::move(elements)) : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_children() , 以及 set_result().

函数调用图:

visit() [4/24]

void LMCAS::detail::SymbolicRewriter::visit ( const FunctionNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 221 行定义.

                                                  {
        bool changed = false;
        auto arguments = rewrite_children(node.arguments(), changed);
        set_result(changed ? make_node<FunctionNode>(node.type(), std::move(arguments)) : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_children() , 以及 set_result().

函数调用图:

visit() [5/24]

void LMCAS::detail::SymbolicRewriter::visit ( const IntegralNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 343 行定义.

                                                  {
        bool changed = false;
        auto body = rewrite_child(node.body(), changed);
        auto lower = node.lower() ? rewrite_child(node.lower(), changed) : nullptr;
        auto upper = node.upper() ? rewrite_child(node.upper(), changed) : nullptr;
        set_result(changed ? make_node<IntegralNode>(body, node.variable(), lower, upper)
                           : current());
    }

引用了 current(), LMCAS::lower, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [6/24]

void LMCAS::detail::SymbolicRewriter::visit ( const IntervalNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 316 行定义.

                                                  {
        bool changed = false;
        auto lower = rewrite_child(node.lower(), changed);
        auto upper = rewrite_child(node.upper(), changed);
        set_result(changed ? make_node<IntervalNode>(lower, upper,
                                                     node.lower_closed(), node.upper_closed())
                           : current());
    }

引用了 current(), LMCAS::lower, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [7/24]

void LMCAS::detail::SymbolicRewriter::visit ( const LimitNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 351 行定义.

                                               {
        bool changed = false;
        auto body = rewrite_child(node.body(), changed);
        auto point = rewrite_child(node.point(), changed);
        set_result(changed ? make_node<LimitNode>(
                                 body, node.variable(), point, node.direction())
                           : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), LMCAS::point, rewrite_child() , 以及 set_result().

函数调用图:

visit() [8/24]

void LMCAS::detail::SymbolicRewriter::visit ( const LogicalNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 254 行定义.

                                                 {
        bool changed = false;
        auto left = rewrite_child(node.left(), changed);
        auto right = node.right() ? rewrite_child(node.right(), changed) : nullptr;
        set_result(changed ? make_node<LogicalNode>(left, right, node.op()) : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), LMCAS::right , 以及 set_result().

函数调用图:

visit() [9/24]

void LMCAS::detail::SymbolicRewriter::visit ( const MatrixNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 232 行定义.

                                                {
        bool changed = false;
        if (const auto* dense = std::get_if<MatrixNode::DenseStorage>(&node.storage())) {
            auto entries = rewrite_children(*dense, changed);
            set_result(changed ? make_node<MatrixNode>(node.rows(), node.cols(), std::move(entries))
                               : current());
            return;
        }
        auto entries = std::get<MatrixNode::SparseStorage>(node.storage());
        for (auto& [index, value] : entries) {
            (void)index;
            value = rewrite_child(value, changed);
        }
        set_result(changed ? make_node<MatrixNode>(node.rows(), node.cols(), std::move(entries))
                           : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), rewrite_children(), set_result() , 以及 LMCAS::value.

函数调用图:

visit() [10/24]

void LMCAS::detail::SymbolicRewriter::visit ( const MembershipNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 324 行定义.

                                                    {
        bool changed = false;
        auto element = rewrite_child(node.element(), changed);
        auto set = rewrite_child(node.set(), changed);
        set_result(changed ? make_node<MembershipNode>(element, set) : current());
    }

引用了 current(), LMCAS::element, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), LMCAS::set , 以及 set_result().

函数调用图:

visit() [11/24]

void LMCAS::detail::SymbolicRewriter::visit ( const MultiplyNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 210 行定义.

                                                  {
        bool changed = false;
        auto operands = rewrite_children(node.operands(), changed);
        set_result(changed ? SymbolicFactory::create_multiply(std::move(operands), rewrite_budget()) : current());
    }

引用了 LMCAS::SymbolicFactory::create_multiply(), current(), LMCAS::detail::node(), LMCAS::detail::SymbolicVisitor::rewrite_budget(), rewrite_children() , 以及 set_result().

函数调用图:

visit() [12/24]

void LMCAS::detail::SymbolicRewriter::visit ( const NumberNode & )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 203 行定义.

{ set_result(current()); }

引用了 current() , 以及 set_result().

函数调用图:

visit() [13/24]

void LMCAS::detail::SymbolicRewriter::visit ( const PiecewiseNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 260 行定义.

                                                   {
        bool changed = false;
        std::vector<PiecewiseNode::Branch> branches;
        branches.reserve(node.branches().size());
        for (const auto& branch : node.branches()) {
            branches.push_back({rewrite_child(branch.expression, changed),
                                rewrite_child(branch.condition, changed)});
        }
        auto fallback = node.default_expr()
            ? rewrite_child(node.default_expr(), changed) : nullptr;
        set_result(changed ? make_node<PiecewiseNode>(std::move(branches), fallback) : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child() , 以及 set_result().

函数调用图:

visit() [14/24]

void LMCAS::detail::SymbolicRewriter::visit ( const PowerNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 215 行定义.

                                               {
        bool changed = false;
        auto base = rewrite_child(node.base(), changed);
        auto exponent = rewrite_child(node.exponent(), changed);
        set_result(changed ? SymbolicFactory::create_power(base, exponent) : current());
    }

引用了 LMCAS::SymbolicFactory::create_power(), current(), LMCAS::exponent, LMCAS::detail::node(), rewrite_child() , 以及 set_result().

函数调用图:

visit() [15/24]

void LMCAS::detail::SymbolicRewriter::visit ( const ProductNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 280 行定义.

                                                 {
        bool changed = false;
        auto body = rewrite_child(node.body(), changed);
        auto lower = rewrite_child(node.lower_bound(), changed);
        auto upper = rewrite_child(node.upper_bound(), changed);
        set_result(changed ? make_node<ProductNode>(body, node.index_var(), lower, upper)
                           : current());
    }

引用了 current(), LMCAS::lower, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [16/24]

void LMCAS::detail::SymbolicRewriter::visit ( const QuantifierNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 296 行定义.

                                                    {
        bool changed = false;
        auto domain = rewrite_child(node.domain(), changed);
        auto predicate = rewrite_child(node.predicate(), changed);
        set_result(changed ? make_node<QuantifierNode>(node.quantifier_type(), node.bound_var(),
                                                       domain, predicate)
                           : current());
    }

引用了 current(), LMCAS::detail::domain, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child() , 以及 set_result().

函数调用图:

visit() [17/24]

void LMCAS::detail::SymbolicRewriter::visit ( const QuantityNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 330 行定义.

                                                  {
        bool changed = false;
        auto value = rewrite_child(node.value(), changed);
        set_result(changed ? make_node<QuantityNode>(value, node.dimension(),
                                                     node.scale_to_base(), node.display_unit())
                           : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), set_result() , 以及 LMCAS::value.

函数调用图:

visit() [18/24]

void LMCAS::detail::SymbolicRewriter::visit ( const RelationalNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 248 行定义.

                                                    {
        bool changed = false;
        auto left = rewrite_child(node.left(), changed);
        auto right = rewrite_child(node.right(), changed);
        set_result(changed ? make_node<RelationalNode>(left, right, node.op()) : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), LMCAS::right , 以及 set_result().

函数调用图:

visit() [19/24]

void LMCAS::detail::SymbolicRewriter::visit ( const RootOfNode & )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 359 行定义.

{ set_result(current()); }

引用了 current() , 以及 set_result().

函数调用图:

visit() [20/24]

void LMCAS::detail::SymbolicRewriter::visit ( const SetBuilderNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 304 行定义.

                                                    {
        bool changed = false;
        auto domain = rewrite_child(node.domain(), changed);
        auto predicate = rewrite_child(node.predicate(), changed);
        set_result(changed ? make_node<SetBuilderNode>(node.element_var(), domain, predicate)
                           : current());
    }

引用了 current(), LMCAS::detail::domain, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child() , 以及 set_result().

函数调用图:

visit() [21/24]

void LMCAS::detail::SymbolicRewriter::visit ( const SummationNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 272 行定义.

                                                   {
        bool changed = false;
        auto body = rewrite_child(node.body(), changed);
        auto lower = rewrite_child(node.lower_bound(), changed);
        auto upper = rewrite_child(node.upper_bound(), changed);
        set_result(changed ? make_node<SummationNode>(body, node.index_var(), lower, upper)
                           : current());
    }

引用了 current(), LMCAS::lower, LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [22/24]

void LMCAS::detail::SymbolicRewriter::visit ( const TransformNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 288 行定义.

                                                   {
        bool changed = false;
        auto body = rewrite_child(node.body(), changed);
        auto target = rewrite_child(node.target(), changed);
        set_result(changed ? make_node<TransformNode>(node.transform_type(), body,
                                                      node.source_var(), target)
                           : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_child(), set_result() , 以及 LMCAS::target.

函数调用图:

visit() [23/24]

void LMCAS::detail::SymbolicRewriter::visit ( const UninterpretedFunctionNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 226 行定义.

                                                               {
        bool changed = false;
        auto arguments = rewrite_children(node.arguments(), changed);
        set_result(changed ? make_node<UninterpretedFunctionNode>(node.name(), std::move(arguments))
                           : current());
    }

引用了 current(), LMCAS::detail::make_node(), LMCAS::detail::node(), rewrite_children() , 以及 set_result().

函数调用图:

visit() [24/24]

void LMCAS::detail::SymbolicRewriter::visit ( const VariableNode & )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 traversal.hpp 第 204 行定义.

{ set_result(current()); }

引用了 current() , 以及 set_result().

函数调用图:

类成员变量说明

current_

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::current_

private

在文件 traversal.hpp 第 362 行定义.

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

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_

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::result_

private

在文件 traversal.hpp 第 363 行定义.

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

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().

---

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

• src/internal/symbolic_ast/traversal.hpp