LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
LMCAS::detail::anonymous_namespace{rewrite_budget.cpp} 命名空间参考

类

class  MeasurementRecursion

变量

constexpr const char * kDepthMessage = "equivalence rewrite depth budget exhausted"
constexpr const char * kGrowthMessage = "equivalence node growth budget exhausted"
constexpr const char * kStepMessage = "equivalence rewrite step budget exhausted"

变量说明

◆ kDepthMessage

const char* LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::kDepthMessage = "equivalence rewrite depth budget exhausted"
constexpr

在文件 rewrite_budget.cpp 第 10 行定义.

◆ kGrowthMessage

const char* LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::kGrowthMessage = "equivalence node growth budget exhausted"
constexpr

在文件 rewrite_budget.cpp 第 11 行定义.

◆ kStepMessage

const char* LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::kStepMessage = "equivalence rewrite step budget exhausted"
constexpr

在文件 rewrite_budget.cpp 第 12 行定义.