LMCAS
Lamina Computer Algebra System
载入中...
搜索中...
未找到
LMCAS::anonymous_namespace{limit_visitor_direction.cpp} 命名空间参考

函数

std::optional< bool > conjunctive_near_point_truth (std::optional< bool > left, std::optional< bool > right)
std::optional< int > directional_leading_sign (const std::pair< Rational, int > &leading, const std::string &dir)
std::optional< bool > disjunctive_near_point_truth (std::optional< bool > left, std::optional< bool > right)

函数说明

◆ conjunctive_near_point_truth()

std::optional< bool > LMCAS::anonymous_namespace{limit_visitor_direction.cpp}::conjunctive_near_point_truth ( std::optional< bool > left,
std::optional< bool > right )

在文件 limit_visitor_direction.cpp 第 160 行定义.

161 {
162 if ((left && !*left) || (right && !*right)) { return false; }
163 if (left && right) { return *left && *right; }
164 return std::nullopt;
165}
const ExprPtr & right

引用了 conjunctive_near_point_truth() , 以及 LMCAS::right.

被这些函数引用 conjunctive_near_point_truth().

函数调用图:
这是这个函数的调用关系图:

◆ directional_leading_sign()

std::optional< int > LMCAS::anonymous_namespace{limit_visitor_direction.cpp}::directional_leading_sign ( const std::pair< Rational, int > & leading,
const std::string & dir )

在文件 limit_visitor_direction.cpp 第 152 行定义.

153 {
154 int sign = leading.first > Rational(0) ? 1 : leading.first < Rational(0) ? -1 : 0;
155 if (leading.second % 2 && dir == "-") { sign = -sign; }
156 if (leading.second % 2 && dir.empty()) { return std::nullopt; }
157 return sign;
158}

引用了 directional_leading_sign().

被这些函数引用 directional_leading_sign().

函数调用图:
这是这个函数的调用关系图:

◆ disjunctive_near_point_truth()

std::optional< bool > LMCAS::anonymous_namespace{limit_visitor_direction.cpp}::disjunctive_near_point_truth ( std::optional< bool > left,
std::optional< bool > right )

在文件 limit_visitor_direction.cpp 第 167 行定义.

168 {
169 if ((left && *left) || (right && *right)) { return true; }
170 if (left && right) { return false; }
171 return std::nullopt;
172}

引用了 disjunctive_near_point_truth() , 以及 LMCAS::right.

被这些函数引用 disjunctive_near_point_truth().

函数调用图:
这是这个函数的调用关系图: