facts_query_rational.cpp 文件参考

#include "internal/facts_query.hpp"
#include "computation_context.hpp"
#include "internal/exact_constant_bounds.hpp"
#include "internal/normalization_utils.hpp"
#include "internal/symbolic_ast.hpp"
#include <algorithm>

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

浏览该文件的源代码.

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

类型定义
using	LMCAS::detail::Node = std::shared_ptr<const SymbolicNode>

函数
std::optional< Rational >	LMCAS::detail::anonymous_namespace{facts_query_rational.cpp}::closed_rational_power (const PowerNode &power, Domain domain, ComputationContext &context, ExactBoundArithmetic &arithmetic)
std::optional< Rational >	LMCAS::detail::closed_rational_value (const Node &node, Domain domain, ComputationContext &context)
std::optional< Rational >	LMCAS::detail::closed_rational_value (const std::shared_ptr< const SymbolicNode > &node, Domain domain, ComputationContext &context)