matcher.hpp 文件参考

模式匹配引擎 Matcher 与重写规则系统 RewriteEngine。 更多...

#include "computation_context.hpp"
#include "symbolic.hpp"
#include <unordered_map>
#include <unordered_set>
#include <string>
#include <vector>
#include <functional>
#include <utility>

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

类型定义
using	LMCAS::MatchMap = std::unordered_map<std::string, SymbolicExpr>
	匹配结果映射，通配符名称 → 绑定的表达式

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.

详细描述

模式匹配引擎 Matcher 与重写规则系统 RewriteEngine。

在文件 matcher.hpp 中定义.