transcendental_solver_support.hpp 文件参考

#include "computation_context.hpp"
#include "solve_transcendental.hpp"
#include "internal/symbolic_ast.hpp"
#include "assumption.hpp"

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

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

浏览该文件的源代码.

类
struct	LMCAS::detail::transcendental::ExpBasePattern
struct	LMCAS::detail::transcendental::InversePattern
struct	LMCAS::detail::transcendental::LambertWPattern

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

函数
SolutionSet	LMCAS::detail::transcendental::conditional_preimage (const ExprPtr &original, const std::string &var)
std::optional< ExpBasePattern >	LMCAS::detail::transcendental::decompose_exp_base_pattern (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context)
std::optional< LambertWPattern >	LMCAS::detail::transcendental::decompose_lambert_w_pattern (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context)
std::optional< InversePattern >	LMCAS::detail::transcendental::decompose_trig_exp_pattern (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var)
ExprPtr	LMCAS::detail::equation_predicate (const ExprPtr &expression)
SolveResult	LMCAS::detail::finalize_solution_set (const ExprPtr &original, const std::string &variable, SolutionSet solutions, ComputationContext &context, Domain domain, const SolveOptions &options)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::detail::transcendental::invert_exp_base (const std::shared_ptr< SymbolicExpr > &base, const std::shared_ptr< SymbolicExpr > &c, ComputationContext &context)
SolveResult	LMCAS::detail::transcendental::invert_function (const InversePattern &pattern, const ExprPtr &original, const std::string &var, ComputationContext &context, const SolveOptions &options)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::detail::transcendental::invert_lambert_w (const std::shared_ptr< SymbolicExpr > &c, ComputationContext &context)
ExprPtr	LMCAS::detail::substitute_raw (const ExprPtr &expression, const std::string &variable, const ExprPtr &value)
bool	LMCAS::detail::transcendental::try_evaluate_numeric (const std::shared_ptr< SymbolicExpr > &expr, lmmc_real_t &out, ComputationContext &context)

---

类说明

LMCAS::detail::transcendental::ExpBasePattern

struct LMCAS::detail::transcendental::ExpBasePattern

在文件 transcendental_solver_support.hpp 第 31 行定义.

LMCAS::detail::transcendental::ExpBasePattern 的协作图:

类成员
shared_ptr< SymbolicExpr >	base
shared_ptr< SymbolicExpr >	inner
shared_ptr< SymbolicExpr >	rhs

LMCAS::detail::transcendental::InversePattern

struct LMCAS::detail::transcendental::InversePattern

在文件 transcendental_solver_support.hpp 第 19 行定义.

LMCAS::detail::transcendental::InversePattern 的协作图:

类成员
shared_ptr< SymbolicExpr >	coefficient
FuncType	func_type
shared_ptr< SymbolicExpr >	inner
shared_ptr< SymbolicExpr >	rhs

LMCAS::detail::transcendental::LambertWPattern

struct LMCAS::detail::transcendental::LambertWPattern

在文件 transcendental_solver_support.hpp 第 26 行定义.

LMCAS::detail::transcendental::LambertWPattern 的协作图:

类成员
shared_ptr< SymbolicExpr >	inner
shared_ptr< SymbolicExpr >	rhs