equivalence_support.hpp 文件参考

#include "internal/equivalence_engine.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/rewrite_budget.hpp"
#include "internal/normalization_utils.hpp"
#include <optional>

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::equivalence_detail

函数
ExprPtr	LMCAS::equivalence_detail::canonicalize_complex_product (const SymbolicExpr &expression, detail::RewriteBudget &budget)
bool	LMCAS::equivalence_detail::exact_integer_node (const detail::SymbolicNodePtr &node, int expected)
ExprPtr	LMCAS::equivalence_detail::expand_equivalence (const ExprPtr &expression, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::normalize_equivalence (const ExprPtr &expression, detail::RewriteBudget &budget)
Result< std::optional< bool > >	LMCAS::equivalence_detail::prove_rational_polynomial_equivalence (const ExprPtr &difference, ComputationContext &context, const EqvOptions &options, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::rewrite_exp_log_basic_identity (const detail::SymbolicNodePtr &node, const AssumptionContext *assumptions, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::rewrite_trig_basic_identity (const detail::SymbolicNodePtr &node, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::rewritten_complex (const ExprPtr &real, const ExprPtr &imag, const detail::SymbolicNodePtr &original, detail::RewriteBudget &budget)
Result< void >	LMCAS::equivalence_detail::validate_eqv_options (const EqvOptions &options)