expr_transform.cpp 文件参考

#include "expr.hpp"
#include "matcher.hpp"
#include "assumption_context.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expr_common.hpp"
#include "internal/assumption_simplification.hpp"
#include "internal/expression_transform.hpp"
#include <exception>
#include <memory>
#include <string>
#include <utility>
#include <vector>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

函数
BindingResult	LMCAS::binding (ExprPtr symbol, ExprPtr value)
ExprResult	LMCAS::differentiate (const ExprPtr &expression, const std::string &variable)
ExprResult	LMCAS::differentiate (const ExprPtr &expression, const std::string &variable, ComputationContext &context)
ExprResult	LMCAS::expand (const ExprPtr &expression)
ExprResult	LMCAS::expand (const ExprPtr &expression, ComputationContext &context)
ExprMatchResult	LMCAS::expr_match (const ExprPtr &pattern, const ExprPtr &target, const std::vector< std::string > &wildcards)
ExprMatchResult	LMCAS::expr_match (const ExprPtr &pattern, const ExprPtr &target, const std::vector< std::string > &wildcards, ComputationContext &context)
ExprResult	LMCAS::simplify (const ExprPtr &expression)
ExprResult	LMCAS::simplify (const ExprPtr &expression, ComputationContext &context)
ExprResult	LMCAS::substitute (const ExprPtr &expression, const Binding &replacement)
ExprResult	LMCAS::substitute (const ExprPtr &expression, const Binding &replacement, ComputationContext &context)
ExprResult	LMCAS::substitute (const ExprPtr &expression, const std::string &variable, const ExprPtr &value)
ExprResult	LMCAS::substitute (const ExprPtr &expression, const std::string &variable, const ExprPtr &value, ComputationContext &context)
ExprResult	LMCAS::substitute (const ExprPtr &expression, const std::vector< Binding > &replacements)
ExprResult	LMCAS::substitute (const ExprPtr &expression, const std::vector< Binding > &replacements, ComputationContext &context)