LMCAS::FactsQuery类 参考

#include </home/runner/work/docs/docs/LMCAS/src/internal/facts_query.hpp>

类 LMCAS::FactsQuery 继承关系图:

LMCAS::FactsQuery 的协作图:

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

Protected 成员函数
	~FactsQuery ()=default

详细描述

在文件 facts_query.hpp 第 16 行定义.

构造及析构函数说明

~FactsQuery()

LMCAS::FactsQuery::~FactsQuery ( )

protecteddefault

成员函数说明

is_negative()

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

pure virtual

在 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()

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

pure virtual

在 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()

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

pure virtual

在 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()

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

pure virtual

在 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()

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

pure virtual

在 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().

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

---

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

• src/internal/facts_query.hpp