solve_transcendental.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "solve_transcendental.hpp"
#include "internal/assumption_simplification.hpp"
#include "internal/transcendental_solver_support.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/assumption_facts.hpp"
#include "poly_utils.hpp"
#include "solve_polynomial.hpp"
#include "solve_strategies.hpp"
#include "residual_verification.hpp"
#include <algorithm>

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

浏览该文件的源代码.

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

函数
void	LMCAS::anonymous_namespace{solve_transcendental.cpp}::append_finite_union (FiniteSolutions &finite, FiniteSolutions &prior)
void	LMCAS::anonymous_namespace{solve_transcendental.cpp}::append_parametric_union (FiniteSolutions *finite, ParametricSolutions *families, FiniteSolutions *prior, SolutionSet &output)
void	LMCAS::anonymous_namespace{solve_transcendental.cpp}::append_solutions (SolutionSet solved, SolutionSet &output, const ExprPtr &original, const std::string &var)
Result< void >	LMCAS::anonymous_namespace{solve_transcendental.cpp}::coalesce_periodic_families (SolutionSet &solutions, ComputationContext &context)
Result< bool >	LMCAS::anonymous_namespace{solve_transcendental.cpp}::coalesce_periodic_pair (ParametricSolution &left, const ParametricSolution &right, ComputationContext &context)
bool	LMCAS::anonymous_namespace{solve_transcendental.cpp}::compatible_periodic_conditions (const ParametricSolution &left, const ParametricSolution &right)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::inconclusive (const char *message)
Result< std::optional< ExprPtr > >	LMCAS::anonymous_namespace{solve_transcendental.cpp}::merged_half_period_value (const detail::AffineForm &first, const detail::AffineForm &second, const std::string &parameter, ComputationContext &context)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::solve_function_pattern (const InversePattern &pattern, const ExprPtr &original, const std::string &var, ComputationContext &context, const SolveOptions &options, int depth)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::solve_inner_equation (const ExprPtr &original, const ExprPtr &inner, const ExprPtr &value, const std::string &var, ComputationContext &context, const SolveOptions &options, int depth)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::solve_inverted_values (const ExprPtr &original, const ExprPtr &inner, const std::vector< ExprPtr > &values, const std::string &var, ComputationContext &context, const SolveOptions &options, int depth)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::solve_substitution (const ExprPtr &original, const SubstitutionResult &substitution, const std::string &var, ComputationContext &context, const SolveOptions &options, int depth)
SolveResult	LMCAS::solve_transcendental (const ExprPtr &expr, const std::string &var, ComputationContext &context, const SolveOptions &options)
SolveResult	LMCAS::solve_transcendental (const ExprPtr &expr, const std::string &var, const SolveOptions &options)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::solve_transcendental_constant (const ExprPtr &original, const ExprPtr &expr, const std::string &var, ComputationContext &context)
SolveResult	LMCAS::anonymous_namespace{solve_transcendental.cpp}::solve_transcendental_impl (const ExprPtr &original, const ExprPtr &expr, const std::string &var, ComputationContext &context, const SolveOptions &options, int depth)
Result< bool >	LMCAS::anonymous_namespace{solve_transcendental.cpp}::zero_difference (const ExprPtr &left, const ExprPtr &right, ComputationContext &context)

变量
constexpr int	LMCAS::anonymous_namespace{solve_transcendental.cpp}::maximum_transcendental_depth = 5