inequality_solver_parametric.cpp 文件参考

#include "internal/inequality_solver_support.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/expression_transform.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/rewrite_budget.hpp"
#include <algorithm>
#include <limits>
#include <optional>

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

浏览该文件的源代码.

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

类型定义
using	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::PiecewiseResult = Result<PiecewiseIntervalResult>

函数
Result< void >	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::check_arguments (const std::shared_ptr< SymbolicExpr > &expr, const std::string &variable, const std::vector< std::string > &parameters)
PiecewiseResult	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::checked_piecewise (PiecewiseResult result, detail::RewriteBudget &budget)
PiecewiseResult	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::constant_solution (const std::shared_ptr< SymbolicExpr > &coefficient, InequalityType type)
template<typename Node>
Result< void >	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::exact_operands (const Node &node, const std::string &variable, const std::vector< std::string > &parameters, ComputationContext &context, std::size_t depth)
Result< void >	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::exact_polynomial_nodes (const detail::SymbolicNodePtr &node, const std::string &variable, const std::vector< std::string > &parameters, ComputationContext &context, std::size_t depth)
PiecewiseResult	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::inconclusive ()
Result< Interval >	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::linear_interval (const std::vector< std::shared_ptr< SymbolicExpr > > &coeffs, InequalityType type, detail::RewriteBudget &budget)
PiecewiseResult	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::nonlinear_solution (const std::vector< std::shared_ptr< SymbolicExpr > > &coeffs, int degree, InequalityType type, ComputationContext &context)
PiecewiseResult	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::quadratic_solution (const std::shared_ptr< SymbolicExpr > &coefficient, InequalityType type, ComputationContext &context)
bool	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::satisfies (int sign, InequalityType type)
std::shared_ptr< SymbolicExpr >	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::sign_condition (const std::shared_ptr< SymbolicExpr > &coefficient, int sign)
Result< std::vector< std::shared_ptr< SymbolicExpr > > >	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::simplify_coefficients (const Polynomial< SymbolicPolyCoeff > &poly, bool &symbolic, detail::RewriteBudget &budget)
PiecewiseResult	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::solved_inequality (const std::shared_ptr< SymbolicExpr > &expr, InequalityType type, const std::string &variable, ComputationContext &context)
IntervalUnion	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::zero_polynomial_solution (InequalityType type)

变量
constexpr const char *	LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::kParametricOperation = "solve_parametric_inequality_checked"