facts_query.cpp 文件参考

#include "internal/facts_query.hpp"
#include "computation_context.hpp"
#include "internal/exact_root.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/rewrite_budget.hpp"
#include <new>
#include <utility>

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

浏览该文件的源代码.

类
class	LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal
struct	LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::ArithmeticReduction
struct	LMCAS::detail::anonymous_namespace{facts_query.cpp}::ValueFacts

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::anonymous_namespace{facts_query.cpp}

类型定义
using	LMCAS::detail::anonymous_namespace{facts_query.cpp}::FT = FunctionNode::FuncType
using	LMCAS::detail::anonymous_namespace{facts_query.cpp}::Node = std::shared_ptr<const SymbolicNode>
using	LMCAS::detail::anonymous_namespace{facts_query.cpp}::T = Tribool

函数
std::optional< Rational >	LMCAS::detail::closed_rational_value (const std::shared_ptr< const SymbolicNode > &node, Domain domain, ComputationContext &context)
T	LMCAS::detail::anonymous_namespace{facts_query.cpp}::conjunction (T a, T b)
T	LMCAS::detail::anonymous_namespace{facts_query.cpp}::disjunction (T a, T b)
Result< std::optional< std::vector< std::shared_ptr< SymbolicExpr > > > >	LMCAS::detail::domain_constraints (const Node &node, const FactsQuery &facts, Domain domain, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_definedness (const Node &node, const FactsQuery &facts, Domain domain, ComputationContext &context, bool *violated_real_restriction)
Result< Tribool >	LMCAS::detail::query_nonnegative_value (const Node &node, const FactsQuery &facts, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_nonzero_value (const Node &node, const FactsQuery &facts, Domain domain, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_positive_value (const Node &node, const FactsQuery &facts, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_real_value (const Node &node, const FactsQuery &facts, ComputationContext &context)
Result< Tribool >	LMCAS::detail::anonymous_namespace{facts_query.cpp}::query_value (const Node &node, const FactsQuery &facts, Domain domain, T ValueFacts::*member, bool values, ComputationContext &context, bool *violated_real_restriction=nullptr)

---

类说明

LMCAS::detail::anonymous_namespace{facts_query.cpp}::ValueFacts

struct LMCAS::detail::anonymous_namespace{facts_query.cpp}::ValueFacts

在文件 facts_query.cpp 第 30 行定义.

LMCAS::detail::anonymous_namespace{facts_query.cpp}::ValueFacts 的协作图:

类成员
T	defined = T::Unknown
T	nonnegative = T::Unknown
T	nonzero = T::Unknown
T	positive = T::Unknown
T	real = T::Unknown