equivalence_exp_log.cpp 文件参考

#include "internal/equivalence_support.hpp"
#include "assumption_context.hpp"
#include <optional>
#include <utility>
#include <vector>

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

浏览该文件的源代码.

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

函数
ExprPtr	LMCAS::equivalence_detail::anonymous_namespace{equivalence_exp_log.cpp}::positive_log_argument (const detail::SymbolicNodePtr &node, const AssumptionContext *assumptions)
ExprPtr	LMCAS::equivalence_detail::rewrite_exp_log_basic_identity (const detail::SymbolicNodePtr &node, const AssumptionContext *assumptions, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::anonymous_namespace{equivalence_exp_log.cpp}::rewrite_exp_log_function (const FunctionNode &function, const AssumptionContext *assumptions, detail::RewriteBudget &budget)
std::optional< ExprPtr >	LMCAS::equivalence_detail::anonymous_namespace{equivalence_exp_log.cpp}::rewrite_negative_lambert_exponential (const detail::SymbolicNodePtr &node, detail::RewriteBudget &budget)
std::vector< detail::SymbolicNodePtr >	LMCAS::equivalence_detail::anonymous_namespace{equivalence_exp_log.cpp}::rewrite_operands (const std::vector< detail::SymbolicNodePtr > &operands, const AssumptionContext *assumptions, detail::RewriteBudget &budget)