equivalence_engine.cpp 文件参考

#include "internal/equivalence_support.hpp"
#include "quantity.hpp"
#include "internal/expression_transform.hpp"
#include "internal/expression_analysis.hpp"
#include <exception>
#include <limits>
#include <memory>
#include <new>
#include <utility>

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

浏览该文件的源代码.

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

函数
Result< bool >	LMCAS::anonymous_namespace{equivalence_engine.cpp}::apply_profile (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options, detail::RewriteBudget &budget)
Result< bool >	LMCAS::anonymous_namespace{equivalence_engine.cpp}::equivalent_with_budget (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options, detail::RewriteBudget *budget)
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::pair< ExprPtr, ExprPtr > >	LMCAS::anonymous_namespace{equivalence_engine.cpp}::prepare_operands (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, detail::RewriteBudget &budget)
Result< bool >	LMCAS::anonymous_namespace{equivalence_engine.cpp}::prove_checked_operands (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options, detail::RewriteBudget &budget)
Result< bool >	LMCAS::anonymous_namespace{equivalence_engine.cpp}::prove_operands (const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options, detail::RewriteBudget &budget)
bool	LMCAS::structurally_equal (const SymbolicExpr &lhs, const SymbolicExpr &rhs)