transcendental_solver_substitution.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "solve_transcendental.hpp"
#include "internal/symbolic_ast.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/normalization_utils.hpp"
#include <vector>

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

浏览该文件的源代码.

类
struct	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::SubstNodeVisitor

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

函数
static void	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::collect_transcendental_subexprs (const std::shared_ptr< const SymbolicNode > &node, const std::string &var, std::vector< std::shared_ptr< SymbolicExpr > > &candidates)
static void	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::deduplicate_candidates (std::vector< std::shared_ptr< SymbolicExpr > > &candidates)
Result< std::optional< SubstitutionResult > >	LMCAS::detect_substitution (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var)
static BigInt	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::extract_exp_multiplier (const std::shared_ptr< const SymbolicNode > &node, const std::string &var)
static bool	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::function_candidate (const FunctionNode &function, const std::string &var)
static bool	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::has_exp_k_var_terms (const std::shared_ptr< const SymbolicNode > &node, const std::string &var)
static Result< bool >	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::is_substitution_polynomial (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, const std::string &u_var)
static bool	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::power_candidate (const PowerNode &power, const std::string &var)
static BigInt	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::product_exp_multiplier (const MultiplyNode &product, const std::string &var)
static Result< bool >	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::redundant_variable_candidate (const std::shared_ptr< SymbolicExpr > &candidate, const std::shared_ptr< SymbolicExpr > &expr, const std::string &var)
static std::shared_ptr< const SymbolicNode >	LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::rewrite_exp_as_u_power (const std::shared_ptr< const SymbolicNode > &node, const std::string &var, const std::string &u_var)