equivalence_proof.cpp 文件参考

#include "internal/equivalence_support.hpp"
#include "poly_utils.hpp"
#include "internal/expression_analysis.hpp"
#include <set>

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

浏览该文件的源代码.

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

函数
bool	LMCAS::equivalence_detail::anonymous_namespace{equivalence_proof.cpp}::collect_polynomial_variable_names (const std::shared_ptr< const SymbolicNode > &node, std::set< std::string > &variables, 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)