LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts类 参考

类 LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts 继承关系图:

LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts 的协作图:

Public 成员函数
	ComplexPuncturedFacts (const FactsQuery &base, const std::vector< NodePtr > &nonzero)
Result< Tribool >	is_negative (const NodePtr &node, ComputationContext &context) const override
virtual Result< Tribool >	is_negative (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0
Result< Tribool >	is_nonnegative (const NodePtr &node, ComputationContext &context) const override
virtual Result< Tribool >	is_nonnegative (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0
Result< Tribool >	is_nonzero (const NodePtr &node, ComputationContext &context) const override
virtual Result< Tribool >	is_nonzero (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0
Result< Tribool >	is_positive (const NodePtr &node, ComputationContext &context) const override
virtual Result< Tribool >	is_positive (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0
Result< Tribool >	is_real (const NodePtr &node, ComputationContext &context) const override
virtual Result< Tribool >	is_real (const std::shared_ptr< const SymbolicNode > &node, ComputationContext &context) const =0

Private 属性
const FactsQuery &	base_
const std::vector< NodePtr > &	nonzero_

详细描述

在文件 limit_result.cpp 第 446 行定义.

构造及析构函数说明

ComplexPuncturedFacts()

LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::ComplexPuncturedFacts ( const FactsQuery & base, const std::vector< NodePtr > & nonzero )

inline

在文件 limit_result.cpp 第 448 行定义.

        : base_(base), nonzero_(nonzero) {}

引用了 base_ , 以及 nonzero_.

成员函数说明

is_negative() [1/2]

Result< Tribool > LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::is_negative ( const NodePtr & node, ComputationContext & context ) const

inlineoverride

在文件 limit_result.cpp 第 451 行定义.

{ return base_.is_negative(node, context); }

引用了 base_ , 以及 LMCAS::context.

is_negative() [2/2]

virtual Result< Tribool > LMCAS::FactsQuery::is_negative ( const std::shared_ptr< const SymbolicNode > & node, ComputationContext & context ) const

pure virtualinherited

在 LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts, LMCAS::detail::AssumptionFacts , 以及 LMCAS::detail::ScopedFacts 内被实现.

引用了 LMCAS::context.

被这些函数引用 LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::infer(), LMCAS::detail::ScopedFacts::is_negative() , 以及 LMCAS::NormalizationVisitor::simplify_assumed_absolute().

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

is_nonnegative() [1/2]

Result< Tribool > LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::is_nonnegative ( const NodePtr & node, ComputationContext & context ) const

inlineoverride

在文件 limit_result.cpp 第 452 行定义.

{ return base_.is_nonnegative(node, context); }

引用了 base_ , 以及 LMCAS::context.

is_nonnegative() [2/2]

virtual Result< Tribool > LMCAS::FactsQuery::is_nonnegative ( const std::shared_ptr< const SymbolicNode > & node, ComputationContext & context ) const

pure virtualinherited

在 LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts, LMCAS::detail::AssumptionFacts , 以及 LMCAS::detail::ScopedFacts 内被实现.

引用了 LMCAS::context.

被这些函数引用 LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::infer() , 以及 LMCAS::detail::ScopedFacts::is_nonnegative().

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

is_nonzero() [1/2]

Result< Tribool > LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::is_nonzero ( const NodePtr & node, ComputationContext & context ) const

inlineoverride

在文件 limit_result.cpp 第 454 行定义.

                                                                                                {
        auto access = context.consume_steps(0, "facts.complex_punctured");
        if (!access) { return Result<Tribool>::failure(access.error()); }
        for (const auto& proven : nonzero_) {
            auto step = context.consume_steps(1, "facts.complex_punctured");
            if (!step) { return Result<Tribool>::failure(step.error()); }
            if (node->equals(*proven)) { return Tribool::True; }
        }
        return base_.is_nonzero(node, context);
    }

引用了 base_, LMCAS::context, LMCAS::Result< T >::failure(), nonzero_ , 以及 LMCAS::True.

函数调用图:

is_nonzero() [2/2]

virtual Result< Tribool > LMCAS::FactsQuery::is_nonzero ( const std::shared_ptr< const SymbolicNode > & node, ComputationContext & context ) const

pure virtualinherited

在 LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts, LMCAS::detail::AssumptionFacts , 以及 LMCAS::detail::ScopedFacts 内被实现.

引用了 LMCAS::context.

被这些函数引用 LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::infer() , 以及 LMCAS::detail::ScopedFacts::is_nonzero().

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

is_positive() [1/2]

Result< Tribool > LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::is_positive ( const NodePtr & node, ComputationContext & context ) const

inlineoverride

在文件 limit_result.cpp 第 450 行定义.

{ return base_.is_positive(node, context); }

引用了 base_ , 以及 LMCAS::context.

is_positive() [2/2]

virtual Result< Tribool > LMCAS::FactsQuery::is_positive ( const std::shared_ptr< const SymbolicNode > & node, ComputationContext & context ) const

pure virtualinherited

在 LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts, LMCAS::detail::AssumptionFacts , 以及 LMCAS::detail::ScopedFacts 内被实现.

引用了 LMCAS::context.

被这些函数引用 LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::infer() , 以及 LMCAS::detail::ScopedFacts::is_positive().

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

is_real() [1/2]

Result< Tribool > LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::is_real ( const NodePtr & node, ComputationContext & context ) const

inlineoverride

在文件 limit_result.cpp 第 453 行定义.

{ return base_.is_real(node, context); }

引用了 base_ , 以及 LMCAS::context.

is_real() [2/2]

virtual Result< Tribool > LMCAS::FactsQuery::is_real ( const std::shared_ptr< const SymbolicNode > & node, ComputationContext & context ) const

pure virtualinherited

在 LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts, LMCAS::detail::AssumptionFacts , 以及 LMCAS::detail::ScopedFacts 内被实现.

引用了 LMCAS::context.

被这些函数引用 LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::infer() , 以及 LMCAS::detail::ScopedFacts::is_real().

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

类成员变量说明

base_

const FactsQuery& LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::base_

private

在文件 limit_result.cpp 第 465 行定义.

被这些函数引用 ComplexPuncturedFacts(), is_negative(), is_nonnegative(), is_nonzero(), is_positive() , 以及 is_real().

nonzero_

const std::vector<NodePtr>& LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::nonzero_

private

在文件 limit_result.cpp 第 466 行定义.

被这些函数引用 ComplexPuncturedFacts() , 以及 is_nonzero().

---

该类的文档由以下文件生成:

• src/limit_result.cpp