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

Public 成员函数

bool found () const noexcept
 SymbolicVisitor ()=default
 SymbolicVisitor (RewriteBudget *budget) noexcept
void visit (const FunctionNode &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 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 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_function (const std::vector< detail::SymbolicNodePtr > &arguments)

Private 属性

bool found_ = false
RewriteBudget * rewrite_budget_ = nullptr

详细描述

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

成员函数说明

◆ found()

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

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

引用了 found_.

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

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

◆ 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]

◆ SymbolicVisitor() [2/2]

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

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

◆ visit() [1/24]

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

实现了 LMCAS::detail::SymbolicVisitor.

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

144 {
145 visit_function(node.arguments());
146 }
void visit_function(const std::vector< detail::SymbolicNodePtr > &arguments)
const SymbolicNodePtr & node(const ::LMCAS::SymbolicExpr &expression) noexcept

引用了 visit_function().

函数调用图:

◆ visit() [2/24]

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

实现了 LMCAS::detail::SymbolicVisitor.

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

148 {
149 visit_function(node.arguments());
150 }

引用了 visit_function().

函数调用图:

◆ visit() [3/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()); }
void visit_children(const Range &children)

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

函数调用图:

◆ visit() [4/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 }
virtual void visit_child(const SymbolicNodePtr &child)

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

函数调用图:

◆ visit() [5/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() [6/24]

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

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

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

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [9/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() [10/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;
83 }
84 }
const std::string const ExprPtr & value

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

函数调用图:

◆ visit() [11/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() [12/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() [13/24]

◆ visit() [14/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() [15/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() [16/24]

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

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

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

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

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

实现了 LMCAS::detail::SymbolicVisitor.

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

145{}

◆ visit() [21/24]

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

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

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

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

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

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

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

◆ visit_child()

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

重载 LMCAS::detail::RecursiveSymbolicVisitor .

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

153 {
154 if (!found_) RecursiveSymbolicVisitor::visit_child(child);
155 }

引用了 found_.

◆ 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}::FunctionOfExplicitComplexFinder::visit_function ( const std::vector< detail::SymbolicNodePtr > & arguments)
inlineprivate

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

158 {
159 for (const auto& argument : arguments) {
160 if (contains_explicit_complex(argument)) {
161 found_ = true;
162 return;
163 }
164 }
165 visit_children(arguments);
166 }
bool contains_explicit_complex(const detail::SymbolicNodePtr &node)

引用了 LMCAS::anonymous_namespace{complex_analysis.cpp}::contains_explicit_complex(), found_ , 以及 LMCAS::detail::RecursiveSymbolicVisitor::visit_children().

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

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

类成员变量说明

◆ current_depth

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

◆ found_

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

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

被这些函数引用 found(), visit_child() , 以及 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

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