assumption_simplification.cpp 文件参考

#include <stdexcept>
#include "assumption_context.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/assumption_simplification.hpp"
#include "internal/expression_transform.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/rewrite_budget.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/visitors/normalization_visitor.hpp"

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::anonymous_namespace{assumption_simplification.cpp}

函数
template<typename Transform>
ExpressionResult	LMCAS::detail::anonymous_namespace{assumption_simplification.cpp}::assumed_transform (const ExprPtr &expression, ComputationContext &context, const char *operation, const char *name, Transform &&transform)
ExpressionResult	LMCAS::detail::differentiate_expression (const ExprPtr &expression, const std::string &variable, ComputationContext &context)
ExpressionResult	LMCAS::detail::expand_expression (const ExprPtr &expression, ComputationContext &context)
ExpressionResult	LMCAS::detail::simplify_expression (const ExprPtr &expression, ComputationContext &context)
ExpressionResult	LMCAS::detail::substitute_expression (const ExprPtr &expression, const std::string &variable, const ExprPtr &replacement, ComputationContext &context)
ExpressionResult	LMCAS::detail::substitute_expression (const ExprPtr &expression, const std::vector< Binding > &replacements, ComputationContext &context)