inequality_solver_ordering.cpp 文件参考

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

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

浏览该文件的源代码.

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

函数
int	LMCAS::detail::inequality_support::anonymous_namespace{inequality_solver_ordering.cpp}::root_expression_sign (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context)
bool	LMCAS::detail::inequality_support::root_less_than (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context)
int	LMCAS::detail::inequality_support::anonymous_namespace{inequality_solver_ordering.cpp}::root_node_sign (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context)
int	LMCAS::detail::inequality_support::anonymous_namespace{inequality_solver_ordering.cpp}::root_number_sign (const NumberNode &number)
int	LMCAS::detail::inequality_support::anonymous_namespace{inequality_solver_ordering.cpp}::root_power_sign (const PowerNode &power, ComputationContext &context)
bool	LMCAS::detail::inequality_support::roots_equal (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, ComputationContext &context)