normalization_visitor.hpp 文件参考

符号规范化访问器接口。 更多...

#include "internal/symbolic_ast.hpp"
#include "internal/facts_query.hpp"
#include <memory>

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

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

浏览该文件的源代码.

类
class	LMCAS::NormalizationVisitor
	统一规范化数值幂。 精确操作数保留整数和有理数运算；近似求根要求指数精确等于 1/2。 有限浮点幂直接折叠，省去倒数中间值；非有限结果保留幂表达式。 更多...

命名空间
namespace	LMCAS

详细描述

符号规范化访问器接口。

在文件 normalization_visitor.hpp 中定义.