expression_transform.hpp 文件参考

#include "computation_context.hpp"
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/facts_query.hpp"
#include "internal/rewrite_budget.hpp"
#include <exception>
#include <memory>
#include <string>
#include <utility>

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

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

浏览该文件的源代码.

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

函数
	LMCAS::detail::__attribute__ ((visibility("default"))) bool is_linear(const MultiPoly &poly
	检测是否为线性多项式
template<typename Transform>
ExpressionResult	LMCAS::detail::checked_transform_expr (const ExprPtr &expression, ComputationContext &context, const char *operation, const char *transform_name, Transform &&transform)

变量
RewriteBudget &	LMCAS::detail::budget
RewriteBudget const FactsQuery Domain	LMCAS::detail::domain = Domain::Real)
RewriteBudget const FactsQuery &	LMCAS::detail::facts = no_facts()
const std::string const SymbolicNodePtr &	LMCAS::detail::replacement
const std::string &	LMCAS::detail::variable