LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
LMCAS::detail::RecursiveSymbolicVisitor类 参考

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

类 LMCAS::detail::RecursiveSymbolicVisitor 继承关系图:
LMCAS::detail::RecursiveSymbolicVisitor 的协作图:

Public 成员函数

 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 成员函数

RewriteBudget * rewrite_budget () const noexcept
virtual void visit_child (const SymbolicNodePtr &child)
template<class Range>
void visit_children (const Range &children)

Protected 属性

int current_depth = 0

静态 Protected 属性

static constexpr int MAX_DEPTH = 200

Private 属性

RewriteBudget * rewrite_budget_ = nullptr

详细描述

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

成员函数说明

◆ rewrite_budget()

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

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

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

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

◆ SymbolicVisitor() [1/2]

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

◆ SymbolicVisitor() [2/2]

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

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

226: rewrite_budget_(budget) {}

◆ visit() [1/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const AddNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

64{ visit_children(node.operands()); }
LMCAS::detail::RecursiveSymbolicVisitor::visit_children
void visit_children(const Range &children)
定义 traversal.hpp:56
LMCAS::detail::node
const SymbolicNodePtr & node(const ::LMCAS::SymbolicExpr &expression) noexcept
定义 base.hpp:91

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

函数调用图:

◆ visit() [2/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const ComplexNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

132 {
133 visit_child(node.real());
134 visit_child(node.imag());
135 }
LMCAS::detail::RecursiveSymbolicVisitor::visit_child
virtual void visit_child(const SymbolicNodePtr &child)
定义 traversal.hpp:51

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

函数调用图:

◆ visit() [3/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const FiniteSetNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

122{ visit_children(node.elements()); }

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

函数调用图:

◆ visit() [4/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const FunctionNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

70{ visit_children(node.arguments()); }

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

函数调用图:

◆ visit() [5/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const IntegralNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

136 {
137 visit_child(node.lower());
138 visit_child(node.upper());
139 visit_child(node.body());
140 }

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

函数调用图:

◆ visit() [6/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const IntervalNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

123 {
124 visit_child(node.lower());
125 visit_child(node.upper());
126 }

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

函数调用图:

◆ visit() [7/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const LimitNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

141 {
142 visit_child(node.point());
143 visit_child(node.body());
144 }

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

函数调用图:

◆ visit() [8/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const LogicalNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

89 {
90 visit_child(node.left());
91 visit_child(node.right());
92 }

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

函数调用图:

◆ visit() [9/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const MatrixNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

74 {
75 if (const auto* dense = std::get_if<MatrixNode::DenseStorage>(&node.storage())) {
76 visit_children(*dense);
77 return;
78 }
79 for (const auto& [index, value] :
80 std::get<MatrixNode::SparseStorage>(node.storage())) {
81 (void)index;
82 visit_child(value);
83 }
84 }
LMCAS::value
const std::string const ExprPtr & value
定义 expr.hpp:293

引用了 LMCAS::detail::node(), LMCAS::value, visit_child() , 以及 visit_children().

函数调用图:

◆ visit() [10/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const MembershipNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

127 {
128 visit_child(node.element());
129 visit_child(node.set());
130 }

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

函数调用图:

◆ visit() [11/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const MultiplyNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

65{ visit_children(node.operands()); }

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

函数调用图:

◆ visit() [12/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const NumberNode & )
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::detail::RewriteBudget::Measurement , 以及 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

62{}

被这些函数引用 LMCAS::anonymous_namespace{limit_result.cpp}::has_infinity(), LMCAS::detail::definite::needs_segment_expression(), LMCAS::detail::definite::original_conditions_checked(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::AllNameCollector::visit() , 以及 LMCAS::anonymous_namespace{mixed_transcendental_search.cpp}::PeriodicCollector::visit().

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

◆ visit() [13/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const PiecewiseNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

93 {
94 for (const auto& branch : node.branches()) {
95 visit_child(branch.expression);
96 visit_child(branch.condition);
97 }
98 visit_child(node.default_expr());
99 }

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

函数调用图:

◆ visit() [14/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const PowerNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

66 {
67 visit_child(node.base());
68 visit_child(node.exponent());
69 }

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

函数调用图:

◆ visit() [15/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const ProductNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

105 {
106 visit_child(node.lower_bound());
107 visit_child(node.upper_bound());
108 visit_child(node.body());
109 }

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

函数调用图:

◆ visit() [16/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const QuantifierNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

114 {
115 visit_child(node.domain());
116 visit_child(node.predicate());
117 }

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

函数调用图:

◆ visit() [17/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const QuantityNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

131{ visit_child(node.value()); }

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

函数调用图:

◆ visit() [18/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const RelationalNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

85 {
86 visit_child(node.left());
87 visit_child(node.right());
88 }

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

函数调用图:

◆ visit() [19/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const RootOfNode & )
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

145{}

◆ visit() [20/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const SetBuilderNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

118 {
119 visit_child(node.domain());
120 visit_child(node.predicate());
121 }

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

函数调用图:

◆ visit() [21/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const SummationNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

100 {
101 visit_child(node.lower_bound());
102 visit_child(node.upper_bound());
103 visit_child(node.body());
104 }

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

函数调用图:

◆ visit() [22/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const TransformNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

110 {
111 visit_child(node.target());
112 visit_child(node.body());
113 }

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

函数调用图:

◆ visit() [23/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const UninterpretedFunctionNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

71 {
72 visit_children(node.arguments());
73 }

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

函数调用图:

◆ visit() [24/24]

void LMCAS::detail::RecursiveSymbolicVisitor::visit ( const VariableNode & )
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

被 LMCAS::solver_detail::anonymous_namespace{solver_imaginary.cpp}::ContainsImaginaryVisitor 重载.

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

63{}

◆ visit_child()

virtual void LMCAS::detail::RecursiveSymbolicVisitor::visit_child ( const SymbolicNodePtr & child)
inlineprotectedvirtual

被 LMCAS::anonymous_namespace{complex_analysis.cpp}::ExplicitComplexFinder, LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder, LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionOfExplicitComplexFinder , 以及 LMCAS::detail::RewriteBudget::Measurement 重载.

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

51 {
52 if (child) child->accept(*this);
53 }

被这些函数引用 LMCAS::anonymous_namespace{mixed_transcendental_search.cpp}::PeriodicCollector::visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), visit(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableCollector::visit_binder(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit_binder() , 以及 visit_children().

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

◆ visit_children()

template<class Range>
void LMCAS::detail::RecursiveSymbolicVisitor::visit_children ( const Range & children)
inlineprotected

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

56 {
57 for (const auto& child : children) visit_child(child);
58 }

引用了 visit_child().

被这些函数引用 visit(), visit(), visit(), visit(), visit(), visit(), LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_binder(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableCollector::visit_binder(), LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit_binder(), LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_function() , 以及 LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionOfExplicitComplexFinder::visit_function().

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

类成员变量说明

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

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

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