LMCAS::groebner_detail::PolyContext结构体 参考

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

LMCAS::groebner_detail::PolyContext 的协作图:

Public 成员函数
	PolyContext (const std::vector< std::string > &variables, ComputationContext &context)

Public 属性
std::unordered_map< size_t, std::shared_ptr< const SymbolicNode > >	aux_to_node
detail::RewriteBudget	budget
std::vector< std::string >	ext_vars
size_t	num_original_vars
std::unordered_map< std::string, size_t >	transcendental_map

详细描述

在文件 solver_groebner_internal.hpp 第 42 行定义.

构造及析构函数说明

PolyContext()

LMCAS::groebner_detail::PolyContext::PolyContext ( const std::vector< std::string > & variables, ComputationContext & context )

inline

在文件 solver_groebner_internal.hpp 第 49 行定义.

        : ext_vars(variables), num_original_vars(variables.size()),
          budget(context, context.limits().max_recursion_depth,
                 context.limits().max_ast_nodes, "groebner.convert") {}

引用了 budget, LMCAS::context, ext_vars , 以及 num_original_vars.

类成员变量说明

aux_to_node

std::unordered_map<size_t, std::shared_ptr<const SymbolicNode> > LMCAS::groebner_detail::PolyContext::aux_to_node

在文件 solver_groebner_internal.hpp 第 45 行定义.

budget

detail::RewriteBudget LMCAS::groebner_detail::PolyContext::budget

在文件 solver_groebner_internal.hpp 第 47 行定义.

被这些函数引用 PolyContext().

ext_vars

std::vector<std::string> LMCAS::groebner_detail::PolyContext::ext_vars

在文件 solver_groebner_internal.hpp 第 43 行定义.

被这些函数引用 PolyContext() , 以及 LMCAS::groebner_detail::to_poly().

num_original_vars

size_t LMCAS::groebner_detail::PolyContext::num_original_vars

在文件 solver_groebner_internal.hpp 第 46 行定义.

被这些函数引用 PolyContext().

transcendental_map

std::unordered_map<std::string, size_t> LMCAS::groebner_detail::PolyContext::transcendental_map

在文件 solver_groebner_internal.hpp 第 44 行定义.

---

该结构体的文档由以下文件生成:

• src/internal/solver_groebner_internal.hpp