symbolic_core.cpp 文件参考

#include "internal/rewrite_budget.hpp"
#include <string>
#include <limits>
#include "symbolic.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/expression_transform.hpp"
#include "internal/visitors/print_visitor.hpp"
#include "internal/visitors/normalization_visitor.hpp"
#include "internal/visitors/differentiation_visitor.hpp"
#include "internal/visitors/expand_visitor.hpp"
#include "matcher.hpp"
#include "numeric_evaluation.hpp"
#include "root_of_identity.hpp"

symbolic_core.cpp 的引用(Include)关系图:

浏览该文件的源代码.

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

函数
SymbolicNodePtr	LMCAS::detail::differentiate_node (const SymbolicNodePtr &node, const std::string &variable, RewriteBudget &budget, const FactsQuery &facts, Domain domain)
SymbolicNodePtr	LMCAS::detail::expand_node (const SymbolicNodePtr &node, RewriteBudget &budget, const FactsQuery &facts, Domain domain)
SymbolicNodePtr	LMCAS::detail::normalize_node (const SymbolicNodePtr &node, RewriteBudget &budget, const FactsQuery &facts, Domain domain)
SymbolicNodePtr	LMCAS::detail::substitute_node (const SymbolicNodePtr &node, const std::string &variable, const SymbolicNodePtr &replacement, RewriteBudget &budget, const FactsQuery &facts, Domain domain)