equivalence_trig.cpp 文件参考

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

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

浏览该文件的源代码.

类
struct	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare

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

函数
std::optional< std::pair< std::size_t, detail::SymbolicNodePtr > >	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::complementary_square (const std::vector< detail::SymbolicNodePtr > &nodes, const std::vector< bool > &used, std::size_t index)
std::vector< detail::SymbolicNodePtr >	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::rewrite_operands (const std::vector< detail::SymbolicNodePtr > &operands, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::rewrite_trig_basic_identity (const detail::SymbolicNodePtr &node, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::rewrite_trig_function (const FunctionNode &function, detail::RewriteBudget &budget)
ExprPtr	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::rewrite_trig_sum (const AddNode &add, detail::RewriteBudget &budget)
std::optional< TrigSquare >	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::trig_square (const detail::SymbolicNodePtr &node)
std::optional< ExprPtr >	LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::unwrap_trig_negated_argument (const detail::SymbolicNodePtr &node, detail::RewriteBudget &budget)

---

类说明

LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare

struct LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare

在文件 equivalence_trig.cpp 第 9 行定义.

LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}::TrigSquare 的协作图:

类成员
SymbolicNodePtr	argument
SymbolicNodePtr	coefficient
FuncType	type