#include <stdexcept>
#include "internal/rewrite_budget.hpp"
#include "internal/expression_transform.hpp"
#include "limit_result.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/facts_query.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/visitors/limit_visitor.hpp"
#include "internal/visitors/normalization_visitor.hpp"
#include "internal/pointwise_comparison.hpp"
#include "polynomial_conversion.hpp"
#include "symbolic.hpp"
#include <exception>

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

类
struct	LMCAS::anonymous_namespace{limit_result.cpp}::ComplexContinuityPoint
class	LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts
class	LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter

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

类型定义
using	LMCAS::anonymous_namespace{limit_result.cpp}::NodePtr = std::shared_ptr<const SymbolicNode>

函数
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::assumption_limit_failure (const CasError &error)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::classify_infinite_function (const FunctionNode &function, const std::string &variable, ComputationContext &context, const FactsQuery &facts, Domain domain)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::classify_infinite_power (const PowerNode &power, const std::string &variable, ComputationContext &context, const FactsQuery &facts, Domain domain)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::classify_infinite_product (const MultiplyNode &product, const std::string &variable, ComputationContext &context, const FactsQuery &facts, Domain domain)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::classify_infinite_sum (const AddNode &sum, const std::string &variable, ComputationContext &context, const FactsQuery &facts, Domain domain)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::classify_limit_result (const NodePtr &node, const std::string &variable, ComputationContext &context, const FactsQuery &facts, Domain domain=Domain::Real)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::combine_one_sided_limits (const LimitOutcome &left, const LimitOutcome &right, ComputationContext &context)
Result< bool >	LMCAS::anonymous_namespace{limit_result.cpp}::complex_polynomial_nonzero (const RelationalNode &relation, const std::string &variable, const FactsQuery &facts, ComputationContext &context, std::vector< NodePtr > &nonzero_bases)
Result< bool >	LMCAS::anonymous_namespace{limit_result.cpp}::complex_punctured_condition (const NodePtr &condition, const std::string &variable, const FactsQuery &facts, ComputationContext &context, std::vector< NodePtr > &nonzero_bases)
Result< bool >	LMCAS::anonymous_namespace{limit_result.cpp}::complex_punctured_domain (const NodePtr &node, const std::string &variable, const FactsQuery &facts, ComputationContext &context, std::vector< NodePtr > &nonzero_bases)
bool	LMCAS::anonymous_namespace{limit_result.cpp}::continuous_function_branch (FunctionNode::FuncType type, const NodePtr &argument, const ComplexContinuityPoint *point)
bool	LMCAS::anonymous_namespace{limit_result.cpp}::elementary_continuous_structure (const NodePtr &node, const ComplexContinuityPoint *complex_point=nullptr)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::evaluate_one_sided_node (const NodePtr &node, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context, const AssumptionContext &local, const FactsQuery &facts, LimitVisitor &visitor)
Result< int >	LMCAS::anonymous_namespace{limit_result.cpp}::finite_sign (const NodePtr &node, const FactsQuery &facts, ComputationContext &context)
bool	LMCAS::anonymous_namespace{limit_result.cpp}::has_infinity (const NodePtr &node)
int	LMCAS::anonymous_namespace{limit_result.cpp}::infinity_sign (const LimitOutcome &value)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::limit_at_checked_point (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context, const FactsQuery &facts, Domain domain)
LimitResult	LMCAS::limit_checked (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context, Domain domain)
LimitResult	LMCAS::limit_checked (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, Domain domain)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::limit_complex_at_point (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, ComputationContext &context, const FactsQuery &facts)
LimitExpressionResult	LMCAS::limit_expression_checked (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context, Domain domain)
LimitExpressionResult	LMCAS::limit_expression_checked (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, Domain domain)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::limit_one_sided_checked (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::limit_real_at_point (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, int endpoint_sign, ComputationContext &context)
std::optional< LimitResult >	LMCAS::anonymous_namespace{limit_result.cpp}::oscillatory_one_sided_limit (const NodePtr &node, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context, const FactsQuery &facts, LimitVisitor &visitor)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::outcome (LimitOutcome value)
bool	LMCAS::anonymous_namespace{limit_result.cpp}::power_continuous_structure (const PowerNode &power, const ComplexContinuityPoint *point)
std::optional< LimitResult >	LMCAS::anonymous_namespace{limit_result.cpp}::scaled_one_sided_limit (const MultiplyNode &product, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, ComputationContext &context, const FactsQuery &facts)
LimitResult	LMCAS::anonymous_namespace{limit_result.cpp}::unknown ()
Result< void >	LMCAS::anonymous_namespace{limit_result.cpp}::validate_limit_input (const LimitExprPtr &expression, const std::string &variable, const LimitExprPtr &point, LimitDirection direction, Domain domain)

类

命名空间

类型定义

函数