facts_query.hpp 文件参考

#include "assumption.hpp"
#include "result.hpp"
#include <memory>
#include <optional>
#include <string>
#include <string_view>
#include <vector>

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

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

浏览该文件的源代码.

类
class	LMCAS::detail::ScopedFacts
	为绑定体提供词法作用域，隔离同名自由变量的外层事实。 无关表达式继续借用外层事实及其关系推论；栈上视图串联保留嵌套作用域。 更多...
class	LMCAS::FactsQuery

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）

函数
Result< std::optional< std::vector< std::shared_ptr< SymbolicExpr > > > >	LMCAS::detail::domain_constraints (const std::shared_ptr< const SymbolicNode > &expression, const FactsQuery &facts, Domain domain, ComputationContext &context)
	返回完整定义域约束：空向量表示已证明，nullopt 表示无法完整表达。
const FactsQuery &	LMCAS::detail::no_facts () noexcept
Result< Tribool >	LMCAS::detail::query_definedness (const std::shared_ptr< const SymbolicNode > &node, const FactsQuery &facts, Domain domain, ComputationContext &context, bool *violated_real_restriction=nullptr)
Result< Tribool >	LMCAS::detail::query_nonnegative_value (const std::shared_ptr< const SymbolicNode > &node, const FactsQuery &facts, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_nonzero_value (const std::shared_ptr< const SymbolicNode > &node, const FactsQuery &facts, Domain domain, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_positive_value (const std::shared_ptr< const SymbolicNode > &node, const FactsQuery &facts, ComputationContext &context)
Result< Tribool >	LMCAS::detail::query_real_value (const std::shared_ptr< const SymbolicNode > &node, const FactsQuery &facts, ComputationContext &context)