calculus_continuity.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "limit_result.hpp"
#include "internal/calculus_utils_support.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/facts_query.hpp"
#include "internal/pointwise_comparison.hpp"
#include "assumption_context.hpp"

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

浏览该文件的源代码.

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

函数
ContinuityResult	LMCAS::anonymous_namespace{calculus_continuity.cpp}::classify_continuity_point_value (const ExprPtr &limit, const ExprPtr &value, const FactsQuery &facts, ComputationContext &context)
ContinuityResult	LMCAS::continuity_at_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::shared_ptr< SymbolicExpr > &point)
ContinuityResult	LMCAS::continuity_at_checked (const std::shared_ptr< SymbolicExpr > &f, const std::string &var, const std::shared_ptr< SymbolicExpr > &point, ComputationContext &context)
ContinuityResult	LMCAS::anonymous_namespace{calculus_continuity.cpp}::continuity_from_limits (const ExprPtr &f, const std::string &var, const ExprPtr &point, const LimitOutcome &left, const LimitOutcome &right, ComputationContext &context)
Result< ExprPtr >	LMCAS::anonymous_namespace{calculus_continuity.cpp}::continuity_point_value (ExprPtr value, const FactsQuery &facts, ComputationContext &context)
ContinuityResult	LMCAS::anonymous_namespace{calculus_continuity.cpp}::continuity_with_limit (const ExprPtr &f, const std::string &var, const ExprPtr &point, const ExprPtr &limit, ComputationContext &context)
Result< detail::SymbolicNodePtr >	LMCAS::anonymous_namespace{calculus_continuity.cpp}::select_continuity_branch (const PiecewiseNode &piecewise, const FactsQuery &facts, const AssumptionContext &assumptions, ComputationContext &context)