integration_substitution.cpp 文件参考

#include "internal/expression_analysis.hpp"
#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "internal/integration_support.hpp"
#include "internal/assumption_facts.hpp"

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

浏览该文件的源代码.

类
struct	LMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapper

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{integration_substitution.cpp}

枚举
enum class	LMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapperKind { LMCAS::anonymous_namespace{integration_substitution.cpp}::None , LMCAS::anonymous_namespace{integration_substitution.cpp}::Function , LMCAS::anonymous_namespace{integration_substitution.cpp}::PowerOfFunction , LMCAS::anonymous_namespace{integration_substitution.cpp}::PowerOfLinear }

函数
LinearWrapper	LMCAS::anonymous_namespace{integration_substitution.cpp}::classify_linear_wrapper (const SymbolicExpr &expr, const std::string &var)
std::shared_ptr< SymbolicExpr >	LMCAS::anonymous_namespace{integration_substitution.cpp}::linear_reduced_expression (const LinearWrapper &wrapper, const std::shared_ptr< SymbolicExpr > &variable)
bool	LMCAS::anonymous_namespace{integration_substitution.cpp}::linear_substitutable_function (const FunctionNode &function)
Result< std::shared_ptr< SymbolicExpr > >	LMCAS::anonymous_namespace{integration_substitution.cpp}::substitute_candidate (const SymbolicExpr &expr, const SymbolicExpr &candidate_term, const std::string &var, ComputationContext &computation)
std::optional< SymbolicExpr >	LMCAS::anonymous_namespace{integration_substitution.cpp}::substitution_argument (const SymbolicExpr &term)
Result< std::shared_ptr< SymbolicExpr > >	LMCAS::anonymous_namespace{integration_substitution.cpp}::substitution_primitive (const SymbolicExpr &candidate_term, const SymbolicExpr &u, const std::string &var, ComputationContext &context)

---

类说明

LMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapper

struct LMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapper

在文件 integration_substitution.cpp 第 102 行定义.

LMCAS::anonymous_namespace{integration_substitution.cpp}::LinearWrapper 的协作图:

类成员
optional< SymbolicExpr >	argument
shared_ptr< const FunctionNode >	function
LinearWrapperKind	kind = LinearWrapperKind::None
shared_ptr< const PowerNode >	power