LMCAS: src/expr_equivalence.cpp 源文件

#include "expr.hpp"


#include "internal/equivalence_engine.hpp"


namespace LMCAS {


Result<bool> equivalent(const SymbolicExpr& lhs,

                        const SymbolicExpr& rhs,

                        ComputationContext& context,

                        const EqvOptions& options) {

    return detail::equivalent_impl(lhs, rhs, context, options);

}


}

LMCAS::ComputationContext
定义 computation_context.hpp:99

LMCAS::Result
定义 result.hpp:39

equivalence_engine.hpp

expr.hpp

LMCAS::detail::equivalent_impl
Result< bool > equivalent_impl(const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options)
定义 equivalence_engine.cpp:196

LMCAS
定义 assumption.hpp:11

LMCAS::context
const std::vector< Polynomial< BigInt > > const BigInt ComputationContext & context
定义 exact_factorization.hpp:65

LMCAS::options
const std::string ComputationContext const SolveOptions & options
定义 expr.hpp:355

LMCAS::equivalent
Result< bool > equivalent(const SymbolicExpr &lhs, const SymbolicExpr &rhs, ComputationContext &context, const EqvOptions &options)
定义 expr_equivalence.cpp:7

LMCAS::rhs
const ExprPtr & rhs
定义 expr.hpp:150

LMCAS::EqvOptions
定义 equivalence_options.hpp:34