LMCAS::RootOfNode类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/symbolic_ast/special_forms.hpp>

类 LMCAS::RootOfNode 继承关系图:

LMCAS::RootOfNode 的协作图:

Public 成员函数
void	accept (LMCAS::detail::SymbolicVisitor &visitor) const override
std::shared_ptr< const SymbolicNode >	clone () const override
int	compare (const SymbolicNode &other) const
	与另一个节点进行全序比较.
bool	equals (const SymbolicNode &other) const
	判断两个节点是否结构相等.
const LMCAS::detail::ExactRootId &	exact_id () const noexcept
std::size_t	hash () const
	获取节点哈希值(带缓存).
std::size_t	index () const noexcept
virtual bool	is_number () const
virtual bool	is_one () const
virtual bool	is_positive () const
virtual bool	is_zero () const
std::shared_ptr< const SymbolicNode >	polynomial () const
int	type_priority () const override
const std::string &	variable () const noexcept

Protected 成员函数
int	compare_same_type (const SymbolicNode &other) const override
std::size_t	compute_hash () const override

Protected 属性
std::atomic< std::size_t >	cached_hash {0}
std::atomic< bool >	hash_computed {false}

Private 成员函数
	RootOfNode (LMCAS::detail::ExactRootId id, std::string display_variable="_root")

Private 属性
const std::string	display_variable_
const LMCAS::detail::ExactRootId	id_

友元
template<typename Node, typename... Args>
std::shared_ptr< const Node >	LMCAS::detail::make_node (Args &&... args)

详细描述

在文件 special_forms.hpp 第 76 行定义.

构造及析构函数说明

RootOfNode()

LMCAS::RootOfNode::RootOfNode ( LMCAS::detail::ExactRootId id, std::string display_variable = "_root" )

inlineexplicitprivate

在文件 special_forms.hpp 第 85 行定义.

        : id_(std::move(id)),
          display_variable_(std::move(display_variable)) {
        if (id_.polynomial.degree() <= 0 ||
            id_.index >= static_cast<std::size_t>(id_.polynomial.degree()) ||
            display_variable_.empty()) {
            throw std::invalid_argument("RootOf identity is invalid");
        }
    }

引用了 LMCAS::Polynomial< CoeffType >::degree(), display_variable_, id_, LMCAS::detail::ExactRootId::index , 以及 LMCAS::detail::ExactRootId::polynomial.

被这些函数引用 compare_same_type().

函数调用图:

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

成员函数说明

accept()

void LMCAS::RootOfNode::accept ( LMCAS::detail::SymbolicVisitor & visitor ) const

inlineoverridevirtual

实现了 LMCAS::SymbolicNode.

在文件 special_forms.hpp 第 144 行定义.

                                                                    {
        LMCAS::detail::SymbolicVisitor::DepthGuard guard(visitor);
        visitor.visit(*this);
    }

引用了 LMCAS::detail::SymbolicVisitor::visit().

函数调用图:

clone()

std::shared_ptr< const SymbolicNode > LMCAS::RootOfNode::clone ( ) const

inlineoverridevirtual

实现了 LMCAS::SymbolicNode.

在文件 special_forms.hpp 第 149 行定义.

                                                             {
        return LMCAS::detail::make_node<RootOfNode>(
            id_, display_variable_);
    }

引用了 display_variable_, id_ , 以及 LMCAS::detail::make_node().

函数调用图:

compare()

int LMCAS::SymbolicNode::compare ( const SymbolicNode & other ) const

inlineinherited

与另一个节点进行全序比较.

参数

other

待比较的节点

返回

小于返回 -1,等于返回 0,大于返回 1

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

                                                 {
        if (type_priority() != other.type_priority()) {
            return type_priority() < other.type_priority() ? -1 : 1;
        }
        return compare_same_type(other);
    }

引用了 SymbolicNode(), compare_same_type() , 以及 type_priority().

被这些函数引用 LMCAS::anonymous_namespace{symbolic_cancel.cpp}::combine_fraction_terms() , 以及 LMCAS::endpoints_equivalent().

函数调用图:

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

compare_same_type()

int LMCAS::RootOfNode::compare_same_type ( const SymbolicNode & other ) const

inlineoverrideprotectedvirtual

实现了 LMCAS::SymbolicNode.

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

                                                                    {
        return id_.compare(static_cast<const RootOfNode&>(other).id_);
    }

引用了 RootOfNode(), LMCAS::SymbolicNode::SymbolicNode(), LMCAS::detail::ExactRootId::compare() , 以及 id_.

函数调用图:

compute_hash()

std::size_t LMCAS::RootOfNode::compute_hash ( ) const

inlineoverrideprotectedvirtual

实现了 LMCAS::SymbolicNode.

在文件 special_forms.hpp 第 133 行定义.

                                            {
        std::size_t seed = static_cast<std::size_t>(type_priority());
        hash_combine(seed, id_.hash());
        return seed;
    }

引用了 LMCAS::detail::ExactRootId::hash(), LMCAS::hash_combine(), id_ , 以及 type_priority().

函数调用图:

equals()

bool LMCAS::SymbolicNode::equals ( const SymbolicNode & other ) const

inlineinherited

判断两个节点是否结构相等.

参数

other

待比较的节点

返回

相等返回 true

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

                                                 {
        if (this == &other) return true;
        if (hash() != other.hash()) return false;
        if (type_priority() != other.type_priority()) return false;
        return compare_same_type(other) == 0;
    }

引用了 SymbolicNode(), compare_same_type(), hash() , 以及 type_priority().

被这些函数引用 LMCAS::complementary_square(), LMCAS::anonymous_namespace{relation_store.cpp}::expr_equals(), LMCAS::match_recursive(), LMCAS::tf_remove_exp_factor() , 以及 LMCAS::tf_substitute_expr().

函数调用图:

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

exact_id()

const LMCAS::detail::ExactRootId & LMCAS::RootOfNode::exact_id ( ) const

inlinenoexcept

在文件 special_forms.hpp 第 98 行定义.

{ return id_; }

引用了 id_.

被这些函数引用 LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_root(), LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::root_facts() , 以及 LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer::visit().

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

hash()

std::size_t LMCAS::SymbolicNode::hash ( ) const

inlineinherited

获取节点哈希值(带缓存).

返回

哈希值

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

                           {
        if (!hash_computed.load(std::memory_order_acquire)) {
            std::size_t h = compute_hash();
            cached_hash.store(h, std::memory_order_relaxed);
            hash_computed.store(true, std::memory_order_release);
            return h;
        }
        return cached_hash.load(std::memory_order_relaxed);
    }

引用了 cached_hash, compute_hash() , 以及 hash_computed.

被这些函数引用 LMCAS::MatrixNode::compute_hash(), LMCAS::VariableNode::compute_hash() , 以及 equals().

函数调用图:

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

index()

std::size_t LMCAS::RootOfNode::index ( ) const

inlinenoexcept

在文件 special_forms.hpp 第 99 行定义.

{ return id_.index; }

引用了 id_ , 以及 LMCAS::detail::ExactRootId::index.

被这些函数引用 LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer::visit().

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

is_number()

virtual bool LMCAS::SymbolicNode::is_number ( ) const

inlinevirtualinherited

被 LMCAS::NumberNode 重载.

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

{ return false; }

is_one()

virtual bool LMCAS::SymbolicNode::is_one ( ) const

inlinevirtualinherited

被 LMCAS::NumberNode 重载.

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

{ return false; }

is_positive()

virtual bool LMCAS::SymbolicNode::is_positive ( ) const

inlinevirtualinherited

被 LMCAS::NumberNode 重载.

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

{ return false; }

is_zero()

virtual bool LMCAS::SymbolicNode::is_zero ( ) const

inlinevirtualinherited

被 LMCAS::ComplexNode , 以及 LMCAS::NumberNode 重载.

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

{ return false; }

被这些函数引用 LMCAS::complex_div_checked(), LMCAS::MatrixNode::compute_hash(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_complex(), LMCAS::is_analytic_impl(), LMCAS::is_euler_equation(), LMCAS::anonymous_namespace{matrix_quadratic_form.cpp}::reconstructs_expression(), LMCAS::anonymous_namespace{complex_analysis.cpp}::split_real_imag() , 以及 LMCAS::symbolic_poly_to_expr().

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

polynomial()

std::shared_ptr< const SymbolicNode > LMCAS::RootOfNode::polynomial ( ) const

inline

在文件 special_forms.hpp 第 103 行定义.

                                                         {
        const auto variable_node =
            SymbolicFactory::create_variable(variable());
        std::vector<std::shared_ptr<const SymbolicNode>> terms;
        for (std::size_t degree = 0;
             degree < id_.polynomial.coeffs.size(); ++degree) {
            const auto& coefficient = id_.polynomial.coeffs[degree];
            if (coefficient == Rational(0)) continue;
            auto coefficient_node =
                SymbolicFactory::create_number(coefficient);
            if (degree == 0) {
                terms.push_back(coefficient_node);
                continue;
            }
            auto variable_power = degree == 1
                ? variable_node
                : SymbolicFactory::create_power(
                      variable_node,
                      SymbolicFactory::create_number(BigInt(degree)));
            terms.push_back(
                coefficient == Rational(1)
                    ? variable_power
                    : SymbolicFactory::create_multiply(
                          {coefficient_node, variable_power}));
        }
        return SymbolicFactory::create_add(std::move(terms));
    }

引用了 LMCAS::Polynomial< CoeffType >::coeffs, LMCAS::SymbolicFactory::create_add(), LMCAS::SymbolicFactory::create_multiply(), LMCAS::SymbolicFactory::create_number(), LMCAS::SymbolicFactory::create_power(), LMCAS::SymbolicFactory::create_variable(), id_, LMCAS::detail::ExactRootId::polynomial , 以及 variable().

函数调用图:

type_priority()

int LMCAS::RootOfNode::type_priority ( ) const

inlineoverridevirtual

实现了 LMCAS::SymbolicNode.

在文件 special_forms.hpp 第 130 行定义.

{ return 110; }

被这些函数引用 compute_hash().

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

variable()

const std::string & LMCAS::RootOfNode::variable ( ) const

inlinenoexcept

在文件 special_forms.hpp 第 100 行定义.

                                               {
        return display_variable_;
    }

引用了 display_variable_.

被这些函数引用 polynomial() , 以及 LMCAS::anonymous_namespace{expr_serialization.cpp}::Writer::visit().

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

友元及相关符号说明

LMCAS::detail::make_node

template<typename Node, typename... Args>

std::shared_ptr< const Node > LMCAS::detail::make_node ( Args &&... args )

friend

类成员变量说明

cached_hash

std::atomic<std::size_t> LMCAS::SymbolicNode::cached_hash {0}

mutableprotectedinherited

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

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

display_variable_

const std::string LMCAS::RootOfNode::display_variable_

private

在文件 special_forms.hpp 第 83 行定义.

被这些函数引用 RootOfNode(), clone() , 以及 variable().

hash_computed

std::atomic<bool> LMCAS::SymbolicNode::hash_computed {false}

mutableprotectedinherited

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

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

id_

const LMCAS::detail::ExactRootId LMCAS::RootOfNode::id_

private

在文件 special_forms.hpp 第 82 行定义.

被这些函数引用 RootOfNode(), clone(), compare_same_type(), compute_hash(), exact_id(), index() , 以及 polynomial().

---

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

• src/internal/symbolic_ast/special_forms.hpp