expression_analysis.hpp 文件参考

#include "internal/symbolic_ast.hpp"
#include "computation_context.hpp"
#include "result.hpp"
#include "polynomial_conversion.hpp"
#include <optional>
#include <set>
#include <string>

expression_analysis.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::detail::AffineForm

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

函数
std::set< std::string >	LMCAS::detail::all_variable_names (const SymbolicNodePtr &expression, RewriteBudget *budget=nullptr)
std::optional< Rational >	LMCAS::detail::exact_rational_value (const NumberNode &number)
std::optional< Rational >	LMCAS::detail::exact_rational_value (const SymbolicNodePtr &node)
bool	LMCAS::detail::integration_depends_on_variable (const SymbolicNodePtr &expression, const std::string &variable, RewriteBudget *budget=nullptr)
bool	LMCAS::detail::is_imaginary_unit_name (const std::string &name)
std::vector< std::shared_ptr< SymbolicExpr > >	LMCAS::detail::make_rootof_solutions_impl (const Polynomial< SymbolicPolyCoeff > &polynomial, const std::string &variable, ComputationContext &context)
Result< std::optional< AffineForm > >	LMCAS::detail::recognize_affine (const SymbolicExpr &expression, const std::string &variable, ComputationContext &context)
constexpr RelationOp	LMCAS::detail::reversed_relation (RelationOp op) noexcept
Result< Polynomial< SymbolicPolyCoeff > >	LMCAS::detail::symbolic_to_poly_checked (const SymbolicExpr &expression, const std::string &variable, ComputationContext &context)

---

类说明

LMCAS::detail::AffineForm

struct LMCAS::detail::AffineForm

在文件 expression_analysis.hpp 第 37 行定义.

LMCAS::detail::AffineForm 的协作图:

类成员
shared_ptr< SymbolicExpr >	offset
shared_ptr< SymbolicExpr >	slope