rewrite_budget.cpp 文件参考

#include "internal/rewrite_budget.hpp"
#include "internal/symbolic_ast.hpp"
#include <algorithm>
#include <limits>

rewrite_budget.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类
class	LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::MeasurementRecursion
class	LMCAS::detail::RewriteBudget::Measurement

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}

变量
constexpr const char *	LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::kDepthMessage = "equivalence rewrite depth budget exhausted"
constexpr const char *	LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::kGrowthMessage = "equivalence node growth budget exhausted"
constexpr const char *	LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}::kStepMessage = "equivalence rewrite step budget exhausted"