equivalence_options.hpp 文件参考

#include "lmcas_export.hpp"
#include "result.hpp"
#include <cstddef>
#include <string>

equivalence_options.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::EqvBudget
	各限额均为非零值；深度与规模在重写运行中检查，超限返回 ResourceLimit。 更多...
struct	LMCAS::EqvOptions

命名空间
namespace	LMCAS

枚举
enum class	LMCAS::EqvProfile { LMCAS::Core , LMCAS::TrigBasic , LMCAS::ExpLogBasic }

函数
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).

变量
std::size_t std::size_t	LMCAS::depth
std::size_t std::size_t std::size_t	LMCAS::growth
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std const std::string &	LMCAS::name
std::size_t	LMCAS::steps

---

类说明

LMCAS::EqvBudget

struct LMCAS::EqvBudget

各限额均为非零值；深度与规模在重写运行中检查，超限返回 ResourceLimit。

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

LMCAS::EqvBudget 的协作图:

类成员
size_t	max_node_growth_factor = 4	候选树及未封装孩子列表的规模上限取 context.max_ast_nodes 与原始两输入节点总数乘此因子的较小值。 每次子树引用分别计数；整个证明及 profile 切换共用原始基数。 乘法饱和为 SIZE_MAX；真实输入节点和溢出返回 ResourceLimit。
size_t	max_rewrite_depth = 64	同时活动的重写及嵌套 visitor 层数，根为第 1 层。
size_t	max_rewrite_steps = 256	一次证明及 profile 切换共享的重写遍历、候选追加与阶段步数。 形状查询和缓存清空的实际工作计入 ResourceLimits::max_steps。

LMCAS::EqvOptions

struct LMCAS::EqvOptions

在文件 equivalence_options.hpp 第 34 行定义.

LMCAS::EqvOptions 的协作图:

类成员
EqvBudget	budget = {}
EqvProfile	profile = EqvProfile::Core