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

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

Public 成员函数
	FreeSubstitution (std::string target, detail::SymbolicNodePtr replacement, std::set< std::string > replacement_free, std::set< std::string > occupied, detail::RewriteBudget *budget)
SymbolicNodePtr	rewrite (const SymbolicNodePtr &node)
	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 RootOfNode &) 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 UninterpretedFunctionNode &node) 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 成员函数
detail::SymbolicNodePtr	rewrite_scoped (const detail::SymbolicNodePtr &original_body, std::string &binder, bool &changed)

Private 属性
SymbolicNodePtr	current_
std::set< std::string >	occupied_
detail::SymbolicNodePtr	replacement_
const std::set< std::string >	replacement_free_
SymbolicNodePtr	result_
RewriteBudget *	rewrite_budget_ = nullptr
std::string	target_

详细描述

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

构造及析构函数说明

◆ FreeSubstitution()

LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::FreeSubstitution	(	std::string	target,
		detail::SymbolicNodePtr	replacement,
		std::set< std::string >	replacement_free,
		std::set< std::string >	occupied,
		detail::RewriteBudget *	budget )

inline

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

        : SymbolicRewriter(budget), target_(std::move(target)),
          replacement_(std::move(replacement)),
          replacement_free_(std::move(replacement_free)),
          occupied_(std::move(occupied)) {}

引用了 occupied_, replacement_, replacement_free_, LMCAS::target , 以及 target_.

成员函数说明

◆ current()

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

inlineprotectednoexceptinherited

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

183{ return current_; }

LMCAS::detail::SymbolicRewriter::current_

SymbolicNodePtr current_

定义 traversal.hpp:362

引用了 current_.

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

◆ rewrite()

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

inlineinherited

在文件 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 行定义.

220{ return rewrite_budget_; }

LMCAS::detail::SymbolicVisitor::rewrite_budget_

RewriteBudget * rewrite_budget_

定义 base.hpp:223

引用了 rewrite_budget_.

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

◆ rewrite_child()

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

inlineprotectedinherited

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

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

引用了 rewrite().

函数调用图:

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

◆ rewrite_children()

template<class Range>

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

inlineprotectedinherited

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

函数调用图:

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

◆ rewrite_scoped()

detail::SymbolicNodePtr LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::rewrite_scoped	(	const detail::SymbolicNodePtr &	original_body,
		std::string &	binder,
		bool &	changed )

inlineprivate

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

                       {
        if (binder == target_) return original_body;
 
        auto body = original_body;
        if (expression_depends_on_variable(body, target_, rewrite_budget()) &&
            replacement_free_.find(binder) != replacement_free_.end()) {
            const auto renamed = fresh_name(binder, occupied_);
            body = substitute_free(body, binder,
                                   SymbolicFactory::create_variable(renamed), rewrite_budget());
            binder = renamed;
            changed = true;
        }
        return rewrite_child(body, changed);
    }

引用了 LMCAS::SymbolicFactory::create_variable(), LMCAS::expression_depends_on_variable(), LMCAS::anonymous_namespace{expression_analysis.cpp}::fresh_name(), occupied_, replacement_free_, LMCAS::detail::SymbolicVisitor::rewrite_budget(), LMCAS::detail::SymbolicRewriter::rewrite_child(), LMCAS::substitute_free() , 以及 target_.

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

函数调用图:

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

◆ set_result()

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

inlineprotectedinherited

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

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

引用了 result_.

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

◆ 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) {}

LMCAS::detail::budget

RewriteBudget & budget

定义 expression_transform.hpp:16

◆ visit() [1/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [2/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [3/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [4/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [5/24]

void LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::visit ( const RootOfNode & )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

215{ set_result(current()); }

引用了 LMCAS::detail::SymbolicRewriter::current() , 以及 LMCAS::detail::SymbolicRewriter::set_result().

函数调用图:

◆ visit() [6/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [7/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [8/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

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

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

函数调用图:

◆ visit() [9/24]

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

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

                                                  {
        set_result(!node.is_constant() && node.name() == target_ ? replacement_ : current());
    }

引用了 LMCAS::detail::SymbolicRewriter::current(), replacement_, LMCAS::detail::SymbolicRewriter::set_result() , 以及 target_.

函数调用图:

◆ visit() [10/24]

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

实现了 LMCAS::detail::SymbolicVisitor.

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

203{ set_result(current()); }

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

函数调用图:

◆ visit() [20/24]

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

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

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

inlineoverridevirtualinherited

实现了 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().

函数调用图:

类成员变量说明

◆ current_

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::current_

privateinherited

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

◆ occupied_

std::set<std::string> LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::occupied_

private

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

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

◆ replacement_

detail::SymbolicNodePtr LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::replacement_

private

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

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

◆ replacement_free_

const std::set<std::string> LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::replacement_free_

private

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

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

◆ result_

SymbolicNodePtr LMCAS::detail::SymbolicRewriter::result_

privateinherited

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

◆ target_

std::string LMCAS::anonymous_namespace{expression_analysis.cpp}::FreeSubstitution::target_

private

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

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

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

src/expression_analysis.cpp

Public 成员函数

Protected 成员函数

Protected 属性

静态 Protected 属性

Private 成员函数

Private 属性

详细描述

构造及析构函数说明

◆ FreeSubstitution()

成员函数说明

◆ current()

◆ rewrite()

◆ rewrite_budget()

◆ rewrite_child()

◆ rewrite_children()

◆ rewrite_scoped()

◆ set_result()

◆ SymbolicVisitor() [1/2]

◆ SymbolicVisitor() [2/2]

◆ visit() [1/24]

◆ visit() [2/24]

◆ visit() [3/24]

◆ visit() [4/24]

◆ visit() [5/24]

◆ visit() [6/24]

◆ visit() [7/24]

◆ visit() [8/24]

◆ visit() [9/24]

◆ visit() [10/24]

◆ visit() [11/24]

◆ visit() [12/24]

◆ visit() [13/24]

◆ visit() [14/24]

◆ visit() [15/24]

◆ visit() [16/24]

◆ visit() [17/24]

◆ visit() [18/24]

◆ visit() [19/24]

◆ visit() [20/24]

◆ visit() [21/24]

◆ visit() [22/24]

◆ visit() [23/24]

◆ visit() [24/24]

类成员变量说明

◆ current_

◆ current_depth

◆ MAX_DEPTH

◆ occupied_

◆ replacement_

◆ replacement_free_

◆ result_

◆ rewrite_budget_

◆ target_