LMCAS::ExpandVisitor类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/visitors/expand_visitor.hpp>

类 LMCAS::ExpandVisitor 继承关系图:

LMCAS::ExpandVisitor 的协作图:

Public 成员函数
	ExpandVisitor (detail::RewriteBudget &budget)
std::shared_ptr< const SymbolicNode >	get_result () const
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 &node) override
void	visit (const PiecewiseNode &node) override
LMCAS_API 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 &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 VariableNode &node) override

Public 属性
std::shared_ptr< const SymbolicNode >	result
	展开结果节点。

Protected 成员函数
RewriteBudget *	rewrite_budget () const noexcept

Protected 属性
int	current_depth = 0

静态 Protected 属性
static constexpr int	MAX_DEPTH = 200

Private 成员函数
void	append_child (std::size_t &size, const std::shared_ptr< const SymbolicNode > &child) const
void	check_child_count (std::size_t count, std::size_t roots=1) const
std::shared_ptr< const SymbolicNode >	expand_child (const std::shared_ptr< const SymbolicNode > &child, std::size_t &size)
std::vector< std::shared_ptr< const SymbolicNode > >	expand_children (const std::vector< std::shared_ptr< const SymbolicNode > > &children, std::size_t &size)
void	set_result (std::shared_ptr< const SymbolicNode > candidate)
void	set_result (std::shared_ptr< const SymbolicNode > candidate, std::size_t size)

Private 属性
RewriteBudget *	rewrite_budget_ = nullptr

详细描述

在文件 expand_visitor.hpp 第 12 行定义.

构造及析构函数说明

ExpandVisitor()

LMCAS::ExpandVisitor::ExpandVisitor ( detail::RewriteBudget & budget )

inlineexplicit

在文件 expand_visitor.hpp 第 16 行定义.

        : SymbolicVisitor(&budget), result(nullptr) {}

引用了 LMCAS::detail::SymbolicVisitor::SymbolicVisitor() , 以及 result.

函数调用图:

成员函数说明

append_child()

void LMCAS::ExpandVisitor::append_child ( std::size_t & size, const std::shared_ptr< const SymbolicNode > & child ) const

inlineprivate

在文件 expand_visitor.hpp 第 236 行定义.

                                                                            {
        if (auto* budget = rewrite_budget()) {
            size = budget->append_size(size, budget->measure(child));
        }
    }

引用了 LMCAS::detail::RewriteBudget::append_size(), LMCAS::detail::RewriteBudget::measure() , 以及 LMCAS::detail::SymbolicVisitor::rewrite_budget().

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

函数调用图:

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

check_child_count()

void LMCAS::ExpandVisitor::check_child_count ( std::size_t count, std::size_t roots = 1 ) const

inlineprivate

在文件 expand_visitor.hpp 第 230 行定义.

                                                                     {
        if (auto* budget = rewrite_budget()) {
            budget->append_size(roots, count);
        }
    }

引用了 LMCAS::detail::RewriteBudget::append_size(), LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 LMCAS::roots().

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

函数调用图:

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

expand_child()

std::shared_ptr< const SymbolicNode > LMCAS::ExpandVisitor::expand_child ( const std::shared_ptr< const SymbolicNode > & child, std::size_t & size )

inlineprivate

在文件 expand_visitor.hpp 第 243 行定义.

                                                                         {
        child->accept(*this);
        append_child(size, result);
        return result;
    }

引用了 append_child() , 以及 result.

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

函数调用图:

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

expand_children()

std::vector< std::shared_ptr< const SymbolicNode > > LMCAS::ExpandVisitor::expand_children ( const std::vector< std::shared_ptr< const SymbolicNode > > & children, std::size_t & size )

inlineprivate

在文件 expand_visitor.hpp 第 250 行定义.

                                                                                       {
        check_child_count(children.size(), size);
        std::vector<std::shared_ptr<const SymbolicNode>> expanded;
        expanded.reserve(children.size());
        for (const auto& child : children) {
            auto expanded_child = expand_child(child, size);
            expanded.push_back(std::move(expanded_child));
        }
        return expanded;
    }

引用了 check_child_count() , 以及 expand_child().

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

函数调用图:

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

get_result()

std::shared_ptr< const SymbolicNode > LMCAS::ExpandVisitor::get_result ( ) const

inline

在文件 expand_visitor.hpp 第 18 行定义.

{ return result; }

引用了 result.

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

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

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

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

set_result() [1/2]

void LMCAS::ExpandVisitor::set_result ( std::shared_ptr< const SymbolicNode > candidate )

inlineprivate

在文件 expand_visitor.hpp 第 269 行定义.

                                                                 {
        const auto size = rewrite_budget()->measure_result(candidate);
        set_result(std::move(candidate), size);
    }

引用了 LMCAS::detail::RewriteBudget::measure_result(), LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

set_result() [2/2]

void LMCAS::ExpandVisitor::set_result ( std::shared_ptr< const SymbolicNode > candidate, std::size_t size )

inlineprivate

在文件 expand_visitor.hpp 第 262 行定义.

                                                                                 {
        if (auto* budget = rewrite_budget()) {
            budget->require_nodes(size);
        }
        result = std::move(candidate);
    }

引用了 LMCAS::detail::RewriteBudget::require_nodes(), result , 以及 LMCAS::detail::SymbolicVisitor::rewrite_budget().

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

函数调用图:

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

visit() [1/24]

void LMCAS::ExpandVisitor::visit ( const AddNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 29 行定义.

                                             {
        std::size_t size = 0;
        auto new_ops = expand_children(node.operands(), size);
        size = normalization_check_arithmetic<AddNode>(rewrite_budget(), new_ops, size);
        set_result(LMCAS::detail::make_node<AddNode>(new_ops), size);
    }

引用了 expand_children(), LMCAS::detail::make_node(), LMCAS::normalization_check_arithmetic(), LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [2/24]

void LMCAS::ExpandVisitor::visit ( const ComplexNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 209 行定义.

                                                 {
        std::size_t size = 1;
        auto expanded_r = expand_child(node.real(), size);
        auto expanded_i = expand_child(node.imag(), size);
        set_result(SymbolicFactory::create_complex(expanded_r, expanded_i), size);
    }

引用了 LMCAS::SymbolicFactory::create_complex(), expand_child() , 以及 set_result().

函数调用图:

visit() [3/24]

void LMCAS::ExpandVisitor::visit ( const FiniteSetNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 181 行定义.

                                                   {
        std::size_t size = 1;
        auto elements = expand_children(node.elements(), size);
        set_result(LMCAS::detail::make_node<FiniteSetNode>(std::move(elements)), size);
    }

引用了 expand_children(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [4/24]

void LMCAS::ExpandVisitor::visit ( const FunctionNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 53 行定义.

                                                  {
        std::size_t size = 1;
        auto new_args = expand_children(node.arguments(), size);
        set_result(LMCAS::detail::make_node<FunctionNode>(node.type(), new_args), size);
    }

引用了 expand_children(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [5/24]

void LMCAS::ExpandVisitor::visit ( const IntegralNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 88 行定义.

                                                  {
        std::size_t size = 1;
        auto body = expand_child(node.body(), size);
        std::shared_ptr<const SymbolicNode> lower;
        std::shared_ptr<const SymbolicNode> upper;
        if (node.lower()) {
            lower = expand_child(node.lower(), size);
            upper = expand_child(node.upper(), size);
        }
        set_result(LMCAS::detail::make_node<IntegralNode>(
            body, node.variable(), lower, upper), size);
    }

引用了 expand_child(), LMCAS::lower, LMCAS::detail::make_node(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [6/24]

void LMCAS::ExpandVisitor::visit ( const IntervalNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 187 行定义.

                                                  {
        std::size_t size = 1;
        auto lower = expand_child(node.lower(), size);
        auto upper = expand_child(node.upper(), size);
        set_result(LMCAS::detail::make_node<IntervalNode>(
            lower, upper, node.lower_closed(), node.upper_closed()), size);
    }

引用了 expand_child(), LMCAS::lower, LMCAS::detail::make_node(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [7/24]

void LMCAS::ExpandVisitor::visit ( const LimitNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 215 行定义.

                                               {
        std::size_t size = 1;
        auto body = expand_child(node.body(), size);
        auto point = expand_child(node.point(), size);
        set_result(LMCAS::detail::make_node<LimitNode>(
            body, node.variable(), point, node.direction()), size);
    }

引用了 expand_child(), LMCAS::detail::make_node(), LMCAS::point , 以及 set_result().

函数调用图:

visit() [8/24]

void LMCAS::ExpandVisitor::visit ( const LogicalNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 108 行定义.

                                                 {
        std::size_t size = 1;
        auto head = expand_child(node.left(), size);
        std::shared_ptr<const SymbolicNode> tail = nullptr;
        if (node.right()) {
            tail = expand_child(node.right(), size);
        }
        set_result(LMCAS::detail::make_node<LogicalNode>(head, tail, node.op()), size);
    }

引用了 expand_child(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [9/24]

void LMCAS::ExpandVisitor::visit ( const MatrixNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

                                                {
        std::size_t size = 1;
        if (rewrite_budget()) {
            if (const auto* dense = std::get_if<MatrixNode::DenseStorage>(&node.storage())) {
                check_child_count(dense->size());
                for (const auto& element : *dense) {
                    append_child(size, element);
                }
            } else {
                const auto& sparse = std::get<MatrixNode::SparseStorage>(node.storage());
                check_child_count(sparse.size());
                for (const auto& entry : sparse) {
                    append_child(size, entry.second);
                }
            }
        }
        if (const auto* dense = std::get_if<MatrixNode::DenseStorage>(&node.storage())) {
            set_result(detail::make_node<MatrixNode>(node.rows(), node.cols(), *dense), size);
        } else {
            set_result(detail::make_node<MatrixNode>(node.rows(), node.cols(),
                std::get<MatrixNode::SparseStorage>(node.storage())), size);
        }
    }

引用了 append_child(), check_child_count(), LMCAS::element, LMCAS::detail::make_node(), LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [10/24]

void LMCAS::ExpandVisitor::visit ( const MembershipNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 195 行定义.

                                                    {
        std::size_t size = 1;
        auto element = expand_child(node.element(), size);
        auto set = expand_child(node.set(), size);
        set_result(LMCAS::detail::make_node<MembershipNode>(element, set), size);
    }

引用了 LMCAS::element, expand_child(), LMCAS::detail::make_node(), LMCAS::set , 以及 set_result().

函数调用图:

visit() [11/24]

void LMCAS::ExpandVisitor::visit ( const MultiplyNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 36 行定义.

                                                  {
        std::size_t size = 0;
        auto expanded_ops = expand_children(node.operands(), size);
        if (expanded_ops.empty()) {
            set_result(LMCAS::detail::make_node<NumberNode>(BigInt(1)), 1);
            return;
        }
 
        NormalizationVisitor norm(*rewrite_budget(), detail::no_facts(), Domain::Real);
        set_result(expanded_ops[0]);
        for (size_t i = 1; i < expanded_ops.size(); ++i) {
            set_result(norm.expand_product(result, expanded_ops[i]));
        }
    }

引用了 expand_children(), LMCAS::NormalizationVisitor::expand_product(), LMCAS::detail::make_node(), LMCAS::detail::no_facts(), LMCAS::Real, result, LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [12/24]

void LMCAS::ExpandVisitor::visit ( const NumberNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 20 行定义.

                                                {
        check_child_count(0);
        set_result(node.clone(), 1);
    }

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

函数调用图:

visit() [13/24]

void LMCAS::ExpandVisitor::visit ( const PiecewiseNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

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

                                                   {
        std::vector<PiecewiseNode::Branch> branches;
        if (rewrite_budget()) {
            auto minimum = rewrite_budget()->append_size(1, node.branches().size());
            rewrite_budget()->append_size(minimum, node.branches().size());
        }
        branches.reserve(node.branches().size());
        std::size_t size = 1;
        for (const auto& branch : node.branches()) {
            auto expression = expand_child(branch.expression, size);
            auto condition = expand_child(branch.condition, size);
            branches.push_back({expression, condition});
        }
        std::shared_ptr<const SymbolicNode> default_expr = nullptr;
        if (node.default_expr()) {
            default_expr = expand_child(node.default_expr(), size);
        }
        set_result(LMCAS::detail::make_node<PiecewiseNode>(
            std::move(branches), default_expr), size);
    }

引用了 LMCAS::detail::RewriteBudget::append_size(), expand_child(), LMCAS::detail::make_node(), LMCAS::detail::SymbolicVisitor::rewrite_budget() , 以及 set_result().

函数调用图:

visit() [14/24]

void LMCAS::ExpandVisitor::visit ( const PowerNode & node )

overridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.cpp 第 6 行定义.

                                               {
    auto& context = rewrite_budget()->context();
    std::size_t size = 1;
    auto expanded_base = expand_child(node.base(), size);
    auto expanded_exponent = expand_child(node.exponent(), size);
    const auto number = std::dynamic_pointer_cast<const NumberNode>(expanded_exponent);
    BigInt exponent;
    if (try_get_integer_value(number, exponent)) {
        if (exponent.is_zero() &&
            normalization_can_discard(expanded_base, detail::no_facts(), Domain::Real, context) &&
            normalization_proved(detail::query_nonzero_value(expanded_base, detail::no_facts(), Domain::Complex, context))) {
            set_result(detail::make_node<NumberNode>(BigInt(1)), 1);
            return;
        }
        const auto count = exponent.try_to_uint64();
        if (count && *count > 0 && *count < 20) {
            NormalizationVisitor normalizer(*rewrite_budget(), detail::no_facts(), Domain::Real);
            set_result(expanded_base);
            for (std::uint64_t i = 1; i < *count; ++i) {
                set_result(normalizer.expand_product(result, expanded_base));
            }
            return;
        }
    }
    set_result(detail::make_node<PowerNode>(expanded_base, expanded_exponent), size);
}

引用了 LMCAS::Complex, LMCAS::context, LMCAS::detail::RewriteBudget::context(), expand_child(), LMCAS::NormalizationVisitor::expand_product(), LMCAS::exponent, LMCAS::detail::make_node(), LMCAS::detail::no_facts(), LMCAS::normalization_can_discard(), LMCAS::normalization_proved(), LMCAS::detail::query_nonzero_value(), LMCAS::Real, result, LMCAS::detail::SymbolicVisitor::rewrite_budget(), set_result() , 以及 LMCAS::try_get_integer_value().

函数调用图:

visit() [15/24]

void LMCAS::ExpandVisitor::visit ( const ProductNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 148 行定义.

                                                 {
        std::size_t size = 1;
        auto body = expand_child(node.body(), size);
        auto lower = expand_child(node.lower_bound(), size);
        auto upper = expand_child(node.upper_bound(), size);
        set_result(LMCAS::detail::make_node<ProductNode>(
            body, node.index_var(), lower, upper), size);
    }

引用了 expand_child(), LMCAS::lower, LMCAS::detail::make_node(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [16/24]

void LMCAS::ExpandVisitor::visit ( const QuantifierNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 165 行定义.

                                                    {
        std::size_t size = 1;
        auto domain = expand_child(node.domain(), size);
        auto predicate = expand_child(node.predicate(), size);
        set_result(LMCAS::detail::make_node<QuantifierNode>(
            node.quantifier_type(), node.bound_var(), domain, predicate), size);
    }

引用了 LMCAS::domain, expand_child(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [17/24]

void LMCAS::ExpandVisitor::visit ( const QuantityNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 202 行定义.

                                                  {
        std::size_t size = 1;
        auto value = expand_child(node.value(), size);
        set_result(LMCAS::detail::make_node<QuantityNode>(
            value, node.dimension(), node.scale_to_base(), node.display_unit()), size);
    }

引用了 expand_child(), LMCAS::detail::make_node(), set_result() , 以及 LMCAS::value.

函数调用图:

visit() [18/24]

void LMCAS::ExpandVisitor::visit ( const RelationalNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 101 行定义.

                                                    {
        std::size_t size = 1;
        auto head = expand_child(node.left(), size);
        auto tail = expand_child(node.right(), size);
        set_result(LMCAS::detail::make_node<RelationalNode>(head, tail, node.op()), size);
    }

引用了 expand_child(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [19/24]

void LMCAS::ExpandVisitor::visit ( const RootOfNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 223 行定义.

                                                {
        check_child_count(0);
        set_result(node.clone(), 1);
    }

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

函数调用图:

visit() [20/24]

void LMCAS::ExpandVisitor::visit ( const SetBuilderNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 173 行定义.

                                                    {
        std::size_t size = 1;
        auto domain = expand_child(node.domain(), size);
        auto predicate = expand_child(node.predicate(), size);
        set_result(LMCAS::detail::make_node<SetBuilderNode>(
            node.element_var(), domain, predicate), size);
    }

引用了 LMCAS::domain, expand_child(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [21/24]

void LMCAS::ExpandVisitor::visit ( const SummationNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 139 行定义.

                                                   {
        std::size_t size = 1;
        auto body = expand_child(node.body(), size);
        auto lower = expand_child(node.lower_bound(), size);
        auto upper = expand_child(node.upper_bound(), size);
        set_result(LMCAS::detail::make_node<SummationNode>(
            body, node.index_var(), lower, upper), size);
    }

引用了 expand_child(), LMCAS::lower, LMCAS::detail::make_node(), set_result() , 以及 LMCAS::upper.

函数调用图:

visit() [22/24]

void LMCAS::ExpandVisitor::visit ( const TransformNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 157 行定义.

                                                   {
        std::size_t size = 1;
        auto body = expand_child(node.body(), size);
        auto target = expand_child(node.target(), size);
        set_result(LMCAS::detail::make_node<TransformNode>(
            node.transform_type(), body, node.source_var(), target), size);
    }

引用了 expand_child(), LMCAS::detail::make_node(), set_result() , 以及 LMCAS::target.

函数调用图:

visit() [23/24]

void LMCAS::ExpandVisitor::visit ( const UninterpretedFunctionNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 58 行定义.

                                                               {
        std::size_t size = 1;
        auto arguments = expand_children(node.arguments(), size);
        set_result(LMCAS::detail::make_node<UninterpretedFunctionNode>(
            node.name(), std::move(arguments)), size);
    }

引用了 expand_children(), LMCAS::detail::make_node() , 以及 set_result().

函数调用图:

visit() [24/24]

void LMCAS::ExpandVisitor::visit ( const VariableNode & node )

inlineoverridevirtual

实现了 LMCAS::detail::SymbolicVisitor.

在文件 expand_visitor.hpp 第 24 行定义.

                                                  {
        check_child_count(0);
        set_result(node.clone(), 1);
    }

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

函数调用图:

类成员变量说明

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

result

std::shared_ptr<const SymbolicNode> LMCAS::ExpandVisitor::result

展开结果节点。

在文件 expand_visitor.hpp 第 14 行定义.

被这些函数引用 ExpandVisitor(), expand_child(), get_result(), set_result(), visit() , 以及 visit().

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/internal/visitors/expand_visitor.hpp
• src/expand_visitor.cpp