inequality_solver_chart.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "internal/inequality_solver_support.hpp"
#include "internal/symbolic_ast.hpp"
#include <algorithm>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::inequality_support

函数
IntervalUnion	LMCAS::detail::inequality_support::build_parametric_intervals (const std::vector< std::shared_ptr< SymbolicExpr > > &symbolic_roots, const std::vector< int > &multiplicities, int leading_sign, InequalityType type, ComputationContext &context)
static bool	LMCAS::detail::inequality_support::close_symbolic_endpoint (Endpoint &endpoint, const std::shared_ptr< SymbolicExpr > &root, ComputationContext &context)
void	LMCAS::detail::inequality_support::include_numeric_root (std::vector< Interval > &intervals, const std::shared_ptr< SymbolicExpr > &root, ComputationContext &context)
static void	LMCAS::detail::inequality_support::include_symbolic_root (std::vector< Interval > &intervals, const std::shared_ptr< SymbolicExpr > &root, ComputationContext &context)
static std::vector< Interval >	LMCAS::detail::inequality_support::select_open_intervals (const std::vector< std::shared_ptr< SymbolicExpr > > &roots, const std::vector< int > &signs, int target_sign)