traversal.hpp 文件参考

#include "internal/symbolic_ast/special_forms.hpp"
#include <optional>
#include <string_view>
#include <utility>

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

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

浏览该文件的源代码.

类
struct	LMCAS::detail::BinderView
class	LMCAS::detail::NodeTypeDetector< Node >
class	LMCAS::detail::RecursiveSymbolicVisitor
class	LMCAS::detail::SymbolicRewriter

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

函数
std::optional< BinderView >	LMCAS::detail::binder_view (const SymbolicNode &node)
template<class Node>
bool	LMCAS::detail::contains_node_type (const SymbolicNodePtr &root)

---

类说明

LMCAS::detail::BinderView

struct LMCAS::detail::BinderView

在文件 traversal.hpp 第 11 行定义.

LMCAS::detail::BinderView 的协作图:

类成员
string_view	bound_name
vector< SymbolicNodePtr >	outside_scope
SymbolicNodePtr	scoped_body