LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder类 参考final
类 LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder 继承关系图:
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder 的协作图:

Public 成员函数

 FunctionDependencyFinder (const std::string &variable)
bool found () const noexcept
 SymbolicVisitor ()=default
 SymbolicVisitor (RewriteBudget *budget) noexcept
void visit (const FunctionNode &node) override
void visit (const IntegralNode &node) override
void visit (const LimitNode &node) override
void visit (const ProductNode &node) override
void visit (const QuantifierNode &node) 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 AddNode &node) override
void visit (const ComplexNode &node) override
void visit (const FiniteSetNode &node) override
void visit (const IntervalNode &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 QuantityNode &node) override
void visit (const RelationalNode &node) override
void visit (const RootOfNode &) override
void visit (const VariableNode &) override

Protected 成员函数

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

Protected 属性

int current_depth = 0

静态 Protected 属性

static constexpr int MAX_DEPTH = 200

Private 成员函数

void visit_binder (const SymbolicNode &node)
void visit_function (const std::vector< detail::SymbolicNodePtr > &arguments)

Private 属性

bool found_ = false
bool is_bound_ = false
RewriteBudget * rewrite_budget_ = nullptr
const std::string & variable_

详细描述

在文件 complex_analysis.cpp 第 62 行定义.

构造及析构函数说明

◆ FunctionDependencyFinder()

LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::FunctionDependencyFinder ( const std::string & variable)
inlineexplicit

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

65 : variable_(variable) {}
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::variable_
const std::string & variable_
定义 complex_analysis.cpp:112
LMCAS::variable
const std::string & variable
定义 expr.hpp:286

引用了 LMCAS::variable , 以及 variable_.

成员函数说明

◆ found()

bool LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::found ( ) const
inlinenoexcept

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

67{ return found_; }
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::found_
bool found_
定义 complex_analysis.cpp:114

引用了 found_.

被这些函数引用 LMCAS::anonymous_namespace{complex_analysis.cpp}::has_z_dependent_function().

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

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

◆ SymbolicVisitor() [2/2]

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

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

226: rewrite_budget_(budget) {}

◆ visit() [1/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const FunctionNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 69 行定义.

69 {
70 visit_function(node.arguments());
71 }
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_function
void visit_function(const std::vector< detail::SymbolicNodePtr > &arguments)
定义 complex_analysis.cpp:91
LMCAS::detail::node
const SymbolicNodePtr & node(const ::LMCAS::SymbolicExpr &expression) noexcept
定义 base.hpp:91

引用了 visit_function().

函数调用图:

◆ visit() [2/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const IntegralNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 79 行定义.

79{ visit_binder(node); }
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_binder
void visit_binder(const SymbolicNode &node)
定义 complex_analysis.cpp:103

引用了 visit_binder().

函数调用图:

◆ visit() [3/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const LimitNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 83 行定义.

83{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

◆ visit() [4/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const ProductNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 78 行定义.

78{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

◆ visit() [5/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const QuantifierNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

81{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

◆ visit() [6/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const SetBuilderNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 82 行定义.

82{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

◆ visit() [7/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const SummationNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

77{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

◆ visit() [8/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const TransformNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 80 行定义.

80{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

◆ visit() [9/24]

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit ( const UninterpretedFunctionNode & node)
inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 complex_analysis.cpp 第 73 行定义.

73 {
74 visit_function(node.arguments());
75 }

引用了 visit_function().

函数调用图:

◆ visit() [10/24]

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

实现了 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() , 以及 visit_children().

函数调用图:

◆ visit() [11/24]

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

实现了 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() [12/24]

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

实现了 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() [13/24]

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

实现了 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() [14/24]

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

实现了 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() [15/24]

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

实现了 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() [16/24]

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

实现了 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() [17/24]

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

实现了 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() [18/24]

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

实现了 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() [19/24]

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

实现了 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() [20/24]

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

实现了 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() [21/24]

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

实现了 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() [22/24]

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

实现了 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() [23/24]

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

实现了 LMCAS::detail::SymbolicVisitor.

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

145{}

◆ visit() [24/24]

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

实现了 LMCAS::detail::SymbolicVisitor.

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

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

63{}

◆ visit_binder()

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_binder ( const SymbolicNode & node)
inlineprivate

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

103 {
104 const auto binder = detail::binder_view(node);
105 visit_children(binder->outside_scope);
106 const bool previous = is_bound_;
107 is_bound_ = is_bound_ || binder->bound_name == variable_;
108 visit_child(binder->scoped_body);
109 is_bound_ = previous;
110 }
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_child
void visit_child(const detail::SymbolicNodePtr &child) override
定义 complex_analysis.cpp:86
LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::is_bound_
bool is_bound_
定义 complex_analysis.cpp:113
LMCAS::detail::binder_view
std::optional< BinderView > binder_view(const SymbolicNode &node)
定义 traversal.hpp:17

引用了 LMCAS::detail::binder_view(), is_bound_, variable_, visit_child() , 以及 LMCAS::detail::RecursiveSymbolicVisitor::visit_children().

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

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

◆ visit_child()

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_child ( const detail::SymbolicNodePtr & child)
inlineoverrideprotectedvirtual

重载 LMCAS::detail::RecursiveSymbolicVisitor .

在文件 complex_analysis.cpp 第 86 行定义.

86 {
87 if (!found_) RecursiveSymbolicVisitor::visit_child(child);
88 }

引用了 found_.

被这些函数引用 visit_binder().

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

◆ visit_children()

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

在文件 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().

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

◆ visit_function()

void LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::visit_function ( const std::vector< detail::SymbolicNodePtr > & arguments)
inlineprivate

在文件 complex_analysis.cpp 第 91 行定义.

91 {
92 if (!is_bound_) {
93 for (const auto& argument : arguments) {
94 if (expression_depends_on_variable(argument, variable_)) {
95 found_ = true;
96 return;
97 }
98 }
99 }
100 visit_children(arguments);
101 }
LMCAS::expression_depends_on_variable
bool expression_depends_on_variable(const detail::SymbolicNodePtr &expression, const std::string &variable, detail::RewriteBudget *budget)
定义 expression_analysis.cpp:319

引用了 LMCAS::expression_depends_on_variable(), found_, is_bound_, variable_ , 以及 LMCAS::detail::RecursiveSymbolicVisitor::visit_children().

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

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

类成员变量说明

◆ current_depth

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

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

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

◆ found_

bool LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::found_ = false
private

在文件 complex_analysis.cpp 第 114 行定义.

被这些函数引用 found(), visit_child() , 以及 visit_function().

◆ is_bound_

bool LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::is_bound_ = false
private

在文件 complex_analysis.cpp 第 113 行定义.

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

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

◆ variable_

const std::string& LMCAS::anonymous_namespace{complex_analysis.cpp}::FunctionDependencyFinder::variable_
private

在文件 complex_analysis.cpp 第 112 行定义.

被这些函数引用 FunctionDependencyFinder(), visit_binder() , 以及 visit_function().

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