rewrite_budget.hpp 文件参考

#include "computation_context.hpp"
#include <cstddef>
#include <memory>
#include <string>
#include <unordered_map>

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

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

浏览该文件的源代码.

类
class	LMCAS::detail::RewriteBudget
struct	LMCAS::detail::RewriteBudget::Entry
struct	LMCAS::detail::RewriteBudget::Shape
class	LMCAS::detail::RewriteScope

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）

---

类说明

LMCAS::detail::RewriteBudget::Entry

struct LMCAS::detail::RewriteBudget::Entry

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

LMCAS::detail::RewriteBudget::Entry 的协作图:

类成员
weak_ptr< const SymbolicNode >	owner
Shape	shape

LMCAS::detail::RewriteBudget::Shape

struct LMCAS::detail::RewriteBudget::Shape

在文件 rewrite_budget.hpp 第 41 行定义.

LMCAS::detail::RewriteBudget::Shape 的协作图:

类成员
size_t	height = 0
size_t	nodes = 0