integration_definite_segments.cpp 文件参考

#include <stdexcept>
#include "internal/rewrite_budget.hpp"
#include "internal/expression_transform.hpp"
#include "internal/integration_definite_support.hpp"
#include "limit_result.hpp"
#include "internal/assumption_facts.hpp"
#include "root_of_identity.hpp"
#include <unordered_map>

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

浏览该文件的源代码.

类
class	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate
class	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression
	在已认证开区间上进行恒等改写，保留对数分支。 对数分支变更仅由独立的原函数候选生成器处理。 更多...
class	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::definite
namespace	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}

函数
static Tribool	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::binary_logical_truth (LogicalNode::Op op, Tribool a, Tribool b)
static Result< SymbolicExpr >	LMCAS::detail::definite::boundary_value_checked (const SymbolicExpr &primitive, const std::string &var, const SymbolicExpr &point, LimitDirection direction, ComputationContext &context)
Result< Tribool >	LMCAS::detail::definite::certify_continuity_checked (const SymbolicExpr &expression, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
static Result< void >	LMCAS::detail::definite::collect_predicate_roots (const Node &condition, const std::string &var, std::vector< Algebraic > &roots, ComputationContext &context)
static Result< Tribool >	LMCAS::detail::definite::continuous_children (const std::vector< Node > &children, const FactsQuery &facts, ComputationContext &context)
static bool	LMCAS::detail::definite::continuous_function_family (FunctionNode::FuncType type)
static Result< Tribool >	LMCAS::detail::definite::defined_on_interval (const Node &node, const FactsQuery &facts, ComputationContext &context)
Result< std::vector< SymbolicExpr > >	LMCAS::detail::definite::definite_partition_checked (const SymbolicExpr &original, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
Result< SymbolicExpr >	LMCAS::detail::definite::definite_segment_checked (const SymbolicExpr &original, const SymbolicExpr &primitive, const std::string &var, const SymbolicExpr &a, const SymbolicExpr &b, ComputationContext &context)
static Result< SymbolicExpr >	LMCAS::detail::definite::evaluate_segment_endpoints (const SymbolicExpr &candidate, const std::string &var, const SymbolicExpr &a, const SymbolicExpr &b, bool concrete_endpoints, ComputationContext &context)
static Result< Tribool >	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::logical_predicate_truth (const LogicalNode &logical, const SegmentFacts &facts, ComputationContext &context)
bool	LMCAS::detail::definite::needs_segment_expression (const Node &node)
static Result< std::vector< Algebraic > >	LMCAS::detail::definite::ordered_partition_roots (std::vector< Algebraic > &roots, const Boundary &a, const Boundary &b, ComputationContext &context)
static Result< void >	LMCAS::detail::definite::original_conditions_checked (const Node &node, const FactsQuery &facts, std::vector< std::shared_ptr< SymbolicExpr > > &conditions, ComputationContext &context)
static Result< Tribool >	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::predicate_truth (const Node &node, const SegmentFacts &facts, ComputationContext &context)
static Result< void >	LMCAS::detail::definite::prepare_segment_primitive (SymbolicExpr &candidate, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
Result< AssumptionContext >	LMCAS::detail::definite::real_assumptions (const std::string &var, ComputationContext &context)
static Result< Tribool >	LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::relational_predicate_truth (const RelationalNode &relation, const SegmentFacts &facts, ComputationContext &context)
Result< SymbolicExpr >	LMCAS::detail::definite::segment_expression_checked (const SymbolicExpr &expression, const std::string &var, const SymbolicExpr &lower, const SymbolicExpr &upper, ComputationContext &context)
static Result< Tribool >	LMCAS::detail::definite::structurally_continuous (const Node &node, const FactsQuery &facts, ComputationContext &context)