limit_value.hpp 文件参考

#include "limit_direction.hpp"
#include "proof_outcome.hpp"
#include "result.hpp"
#include <memory>
#include <variant>

limit_value.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::FiniteLimit
	已证在请求的实数或复数域内有定义的有限值。 表达式树中所有极限均已求定，扩展实数运算均有确定结果。 更多...
struct	LMCAS::LimitDoesNotExist
struct	LMCAS::NegativeInfinityLimit
struct	LMCAS::PositiveInfinityLimit

命名空间
namespace	LMCAS

类型定义
using	LMCAS::LimitExpressionResult = Result<LimitExprPtr>
using	LMCAS::LimitExprPtr = std::shared_ptr<SymbolicExpr>
using	LMCAS::LimitOutcome
using	LMCAS::LimitResult = Result<Verified<LimitOutcome>>

---

类说明

LMCAS::FiniteLimit

struct LMCAS::FiniteLimit

已证在请求的实数或复数域内有定义的有限值。 表达式树中所有极限均已求定，扩展实数运算均有确定结果。

在文件 limit_value.hpp 第 18 行定义.

LMCAS::FiniteLimit 的协作图:

类成员
LimitExprPtr	value

LMCAS::LimitDoesNotExist

struct LMCAS::LimitDoesNotExist

在文件 limit_value.hpp 第 23 行定义.

LMCAS::LimitDoesNotExist 的协作图:

LMCAS::NegativeInfinityLimit

struct LMCAS::NegativeInfinityLimit

在文件 limit_value.hpp 第 22 行定义.

LMCAS::NegativeInfinityLimit 的协作图:

LMCAS::PositiveInfinityLimit

struct LMCAS::PositiveInfinityLimit

在文件 limit_value.hpp 第 21 行定义.

LMCAS::PositiveInfinityLimit 的协作图: