LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder类 参考

类 LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder 继承关系图:

LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder 的协作图:

Public 成员函数
	FreeVariableFinder (std::string_view name, detail::RewriteBudget *budget=nullptr, bool antiderivatives=false)
	SymbolicVisitor ()=default
	SymbolicVisitor (RewriteBudget *budget) noexcept
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 VariableNode &node) override
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 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 UninterpretedFunctionNode &node) override

Public 属性
bool	found = false

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 成员函数
void	visit_binder (const SymbolicNode &node)

Private 属性
const bool	antiderivatives_
const std::string_view	name_
RewriteBudget *	rewrite_budget_ = nullptr

详细描述

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

构造及析构函数说明

FreeVariableFinder()

LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::FreeVariableFinder ( std::string_view name, detail::RewriteBudget * budget = nullptr, bool antiderivatives = false )

inlineexplicit

在文件 expression_analysis.cpp 第 47 行定义.

        : RecursiveSymbolicVisitor(budget), name_(name), antiderivatives_(antiderivatives) {}

引用了 antiderivatives_, LMCAS::name , 以及 name_.

成员函数说明

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

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

SymbolicVisitor() [1/2]

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

defaultinherited

SymbolicVisitor() [2/2]

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

inlineexplicitnoexceptinherited

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

: rewrite_budget_(budget) {}

visit() [1/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const IntegralNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expression_analysis.cpp 第 57 行定义.

                                                  {
        if (antiderivatives_ && !node.lower() && !node.upper() && node.variable() == name_) {
            found = true;
        } else { visit_binder(node); }
    }

引用了 antiderivatives_, found, name_ , 以及 visit_binder().

函数调用图:

visit() [2/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const LimitNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expression_analysis.cpp 第 65 行定义.

{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

visit() [3/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const ProductNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expression_analysis.cpp 第 56 行定义.

{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

visit() [4/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const QuantifierNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expression_analysis.cpp 第 63 行定义.

{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

visit() [5/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const SetBuilderNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

visit() [6/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const SummationNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expression_analysis.cpp 第 55 行定义.

{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

visit() [7/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const TransformNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

{ visit_binder(node); }

引用了 visit_binder().

函数调用图:

visit() [8/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit ( const VariableNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expression_analysis.cpp 第 52 行定义.

                                                  {
        found = found || (!node.is_constant() && node.name() == name_);
    }

引用了 found , 以及 name_.

visit() [9/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 行定义.

{ visit_children(node.operands()); }

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

函数调用图:

visit() [10/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 行定义.

                                                 {
        visit_child(node.real());
        visit_child(node.imag());
    }

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

函数调用图:

visit() [11/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 行定义.

{ visit_children(node.elements()); }

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

函数调用图:

visit() [12/24]

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

inlineoverridevirtualinherited

实现了 LMCAS::detail::SymbolicVisitor.

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

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

{ visit_children(node.arguments()); }

引用了 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 行定义.

                                                  {
        visit_child(node.lower());
        visit_child(node.upper());
    }

引用了 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 行定义.

                                                 {
        visit_child(node.left());
        visit_child(node.right());
    }

引用了 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 行定义.

                                                {
        if (const auto* dense = std::get_if<MatrixNode::DenseStorage>(&node.storage())) {
            visit_children(*dense);
            return;
        }
        for (const auto& [index, value] :
             std::get<MatrixNode::SparseStorage>(node.storage())) {
            (void)index;
            visit_child(value);
        }
    }

引用了 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 行定义.

                                                    {
        visit_child(node.element());
        visit_child(node.set());
    }

引用了 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 行定义.

{ 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 行定义.

{}

被这些函数引用 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 行定义.

                                                   {
        for (const auto& branch : node.branches()) {
            visit_child(branch.expression);
            visit_child(branch.condition);
        }
        visit_child(node.default_expr());
    }

引用了 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 行定义.

                                               {
        visit_child(node.base());
        visit_child(node.exponent());
    }

引用了 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 行定义.

{ 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 行定义.

                                                    {
        visit_child(node.left());
        visit_child(node.right());
    }

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

函数调用图:

visit() [23/24]

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

inlineoverridevirtualinherited

实现了 LMCAS::detail::SymbolicVisitor.

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

{}

visit() [24/24]

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

inlineoverridevirtualinherited

实现了 LMCAS::detail::SymbolicVisitor.

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

                                                               {
        visit_children(node.arguments());
    }

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

函数调用图:

visit_binder()

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::visit_binder ( const SymbolicNode & node )

inlineprivate

在文件 expression_analysis.cpp 第 68 行定义.

                                                {
        if (found) return;
        const auto binder = detail::binder_view(node);
        visit_children(binder->outside_scope);
        if (!found && binder->bound_name != name_) visit_child(binder->scoped_body);
    }

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

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

函数调用图:

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

visit_child()

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

inlineprotectedvirtualinherited

被 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 行定义.

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

被这些函数引用 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 )

inlineprotectedinherited

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

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

引用了 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().

函数调用图:

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

类成员变量说明

antiderivatives_

const bool LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::antiderivatives_

private

在文件 expression_analysis.cpp 第 76 行定义.

被这些函数引用 FreeVariableFinder() , 以及 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{expression_analysis.cpp}::FreeVariableFinder::found = false

在文件 expression_analysis.cpp 第 50 行定义.

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

MAX_DEPTH

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

staticconstexprprotectedinherited

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

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

name_

const std::string_view LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeVariableFinder::name_

private

在文件 expression_analysis.cpp 第 75 行定义.

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

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/expression_analysis.cpp