inequality_solver_rational.cpp 文件参考

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

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

浏览该文件的源代码.

类
struct	LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::CriticalPoint

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

函数
bool	LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::has_unrecognized_variable_polynomial (const std::shared_ptr< SymbolicExpr > &expression, const std::string &variable)
void	LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::include_rational_zeros (std::vector< Interval > &intervals, const std::vector< CriticalPoint > &points, ComputationContext &context)
std::vector< CriticalPoint >	LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::rational_critical_points (const std::shared_ptr< SymbolicExpr > &numerator, const std::shared_ptr< SymbolicExpr > &denominator, const std::string &variable, ComputationContext &context)
std::vector< Interval >	LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::rational_sign_intervals (const std::vector< CriticalPoint > &critical_points, int combined_leading_sign, int target_sign)
IntervalUnion	LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::zero_numerator_domain (const std::shared_ptr< SymbolicExpr > &denominator, InequalityType type, const std::string &variable, ComputationContext &context)

---

类说明

LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::CriticalPoint

struct LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::CriticalPoint

在文件 inequality_solver_rational.cpp 第 10 行定义.

LMCAS::anonymous_namespace{inequality_solver_rational.cpp}::CriticalPoint 的协作图:

类成员
int	den_multiplicity
int	num_multiplicity
shared_ptr< SymbolicExpr >	value